fn main() {
    1.create_a_type_error[ //~ `{integer}` is a primitive type and therefore doesn't have fields
        ()+() //~ ERROR cannot add
              //   ^ ensure that we typeck the inner expression ^
    ];
}