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 ^
];
}