void main() {
    int[] mixed = {1, "two", 3};
}

// From Groundwork, chapter 7 (ch07-arrays-and-lists), box 2.
// This example is from Groundwork, licensed CC BY-NC-SA 4.0.
// Run with: java ch07_02.java
// This fails on purpose: it does not compile—An int array given a String, which javac refuses. The error message is the lesson.