removed confusing Lam::set(size_t, const Def*)

Author: leissa

thorin/lam.cpp

@@ -32,7 +32,7 @@ Lam* Lam::set_filter(Filter filter) {
         f = world().lit_bool(*b);
     else
         f = std::get<const Def*>(filter);
-    return set(0, f);
+    return Def::set(0, f)->as<Lam>();
 }
 
 Lam* Lam::app(Filter f, const Def* callee, const Def* arg, const Def* dbg) {

thorin/lam.h

@@ -94,14 +94,13 @@ class Lam : public Def {
     /// lam2->app(my_filter_def, f, arg);
     /// ```
     using Filter = std::variant<bool, const Def*>;
-    Lam* set(size_t i, const Def* def) { return Def::set(i, def)->as<Lam>(); }
     Lam* set(Defs ops) { return Def::set(ops)->as<Lam>(); }
     Lam* set(Filter filter, const Def* body) {
         set_filter(filter);
         return set_body(body);
     }
     Lam* set_filter(Filter);
-    Lam* set_body(const Def* body) { return set(1, body); }
+    Lam* set_body(const Def* body) { return Def::set(1, body)->as<Lam>(); }
     /// Set body to an App of @p callee and @p arg.
     Lam* app(Filter filter, const Def* callee, const Def* arg, const Def* dbg = {});
     /// Set body to an App of @p callee and @p args.