fn main() {
    [1; || {}]; //~ ERROR mismatched types
}