Assignment changes variable type

[frame-lang]

Expected - call to t.a1() to be invalid.

fn main {

    var t:# = #T()
    t = nil
    t.a1()
}

#T

    -interface-

    a

    
##