```fst module A type aa = | A : (n: int) -> aa let f (x: aa) = // Ctrl+Click on A here let A n = x in () ``` Worked in 0.7.0 (but not 0.7.2)
Worked in 0.7.0 (but not 0.7.2)