Permissive of unused generics #41
Description
This compiles even though it probably shouldn't:
fn bar[S, T](t: T): S -> t.foo
This is because T.foo and S are both basically inferred to be empty object types, so T.foo <: S
{{ message }}
This compiles even though it probably shouldn't:
fn bar[S, T](t: T): S -> t.foo
This is because T.foo and S are both basically inferred to be empty object types, so T.foo <: S