error: unknown #builtin 'mystery'
  --> examples/1189-diagnostics-unknown-builtin.sx:12:1
   |
12 | mystery :: ($T: Type, x: T) -> T #builtin;
   | ^^^^^^^