1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
address 0x2 { module Fields { struct S { f: u64 } struct T<phantom A> { f: u64 } public fun borrow_read(s: &S): u64 { s.f } public fun borrow_read_generic<A>(t: &T<A>): u64 { t.f } } }