@@ -260,8 +260,7 @@ class Objects {
260
260
else if value.canIgnoreMethodCall(field) then
261
261
Result (Bottom , Nil )
262
262
else
263
- val error = CallUnknown (field, source, trace.toVector)
264
- Result (Bottom , error :: Nil )
263
+ Result (Bottom , Nil )
265
264
else
266
265
val fieldType = tp.memberInfo(field)
267
266
Result (TypeAbs (fieldType), Nil )
@@ -299,8 +298,7 @@ class Objects {
299
298
val rhs = target.defTree.asInstanceOf [ValOrDefDef ].rhs
300
299
eval(rhs, addr, target.owner.asClass, cacheResult = true )
301
300
else
302
- val error = CallUnknown (field, source, trace.toVector)
303
- Result (Bottom , error :: Nil )
301
+ Result (Bottom , Nil )
304
302
305
303
case _ : Fun =>
306
304
???
@@ -326,8 +324,7 @@ class Objects {
326
324
else if value.canIgnoreMethodCall(meth) then
327
325
Result (Bottom , Nil )
328
326
else
329
- val error = CallUnknown (meth, source, trace.toVector)
330
- Result (Bottom , error :: Nil )
327
+ Result (Bottom , Nil )
331
328
else
332
329
val error = CallCold (meth, source, trace.toVector)
333
330
Result (Bottom , error :: Nil )
@@ -353,8 +350,7 @@ class Objects {
353
350
else if value.canIgnoreMethodCall(target) then
354
351
Result (Bottom , Nil )
355
352
else
356
- val error = CallUnknown (target, source, trace.toVector)
357
- Result (Bottom , error :: Nil )
353
+ Result (Bottom , Nil )
358
354
else
359
355
value.select(target, source, needResolve = false )
360
356
@@ -385,8 +381,7 @@ class Objects {
385
381
else if addr.canIgnoreMethodCall(target) then
386
382
Result (Bottom , Nil )
387
383
else
388
- val error = CallUnknown (target, source, trace.toVector)
389
- Result (Bottom , error :: Nil )
384
+ Result (Bottom , Nil )
390
385
else
391
386
value.select(target, source, needResolve = false )
392
387
@@ -486,7 +481,7 @@ class Objects {
486
481
given Trace = Trace .empty
487
482
given Env = Env .empty
488
483
val res = objRef.access(cls.defTree)
489
- res.errors.filterNot(_. isInstanceOf [ CallUnknown ]). foreach(_.issue)
484
+ res.errors.foreach(_.issue)
490
485
}
491
486
492
487
// ----- Semantic definition -------------------------------
@@ -726,7 +721,7 @@ class Objects {
726
721
val rhs = sym.defTree.asInstanceOf [ValDef ].rhs
727
722
eval(rhs, thisV, klass, cacheResult = true )
728
723
else
729
- Result (Bottom , CallUnknown (sym, source, trace.toVector) :: Nil )
724
+ Result (Bottom , Nil )
730
725
731
726
case tmref : TermRef =>
732
727
val sym = tmref.symbol
0 commit comments