Delete case in namer that handles explicit Unbox

Author: b-studios

effekt/shared/src/main/scala/effekt/Namer.scala

@@ -431,7 +431,7 @@ object Namer extends Phase[Parsed, NameResolved] {
         args.foreach(resolve)
       }
 
-    case source.Unbox(term, _) => resolve(term)
+    case source.Unbox(term, _) => resolve(term) // shouldn't occur since unbox is not part of the source
 
     case source.New(impl, _) => resolve(impl)
 
@@ -513,10 +513,6 @@ object Namer extends Phase[Parsed, NameResolved] {
               if !Context.resolveOverloadedOperation(target)
               then Context.abort(pp"Cannot resolve operation ${target}, called on a receiver that is a computation.")
           }
-          // (unbox term).bar(args)  = Invoke(Unbox(term), bar, args)
-          case source.Unbox(term, _) =>
-            if !Context.resolveOverloadedOperation(target)
-            then Context.abort(pp"Cannot resolve operation ${target}, called on an unboxed computation.")
 
           // expr.bar(args) = Call(bar, expr :: args)
           case term =>