StructsΒ§
- DIAGNOSTIC_
RE π - ERROR_
RE π - Expected
Diagnostic - PROBE_
RE π - Probe
- A βprobeβ is a test where we inspect some piece of compiler state at a particular location, for example, to find out the inferred type of a variable or expression.
- Test
Expectations - UNINTERESTING_
RE π