"Illegal aliasing of aliased local variable" when there is no aliasing involved #1270
Description
AntiAliasing complains that b is aliased when calling inner:
object InnerFnsAliasing {
case class Box(var value: Int)
def outer(b: Box): Unit = {
def inner(v: Int): Unit = {
require(b.value == v)
}
inner(b.value) // Illegal passing of aliased local variable: b
}
}Here, we are passing a value of an immutable type to inner, as such, b is not aliased.