1 2 3 4 5 6 7 8
module a::m { fun f(o: S) { let x = o.val; // ^ @variable.other.member let y = vector::length(&o); // ^ @function } }