13 static field self::A v = let final self::A #t1 = new self::A::•() in let final d
ynamic #t2 = #t1.{self::A::a} = 1 in let final dynamic #t3 = #t1.{self::A::b}.{c
ore::List::add}(2) in let final dynamic #t4 = #t1.{self::A::m}() in #t1;
Issue 2935323002: Lift nearly all top-level type inference restrictions.
(Closed)
Created 3 years, 6 months ago by Paul Berry
Modified 3 years, 6 months ago
Reviewers: scheglov, ahe, Leaf
Base URL:
Comments: 0