{ let x:u256 := 7:u256 }
// ====
// dialect: evmTyped
// ----