1 2 3 4 5 6 7 8
// pp-exact type thing = {x: int, y: int,}; fn main() { let sth = {x: 0, y: 1,}; let sth2 = {y: 9 with sth}; assert sth.x + sth2.y == 9; }