fn main() {
	_ := []int
	_ := [1]int
	_ := []!int{}
}