/test/typecheck/fail/

• ../
• and_let_bool.expect
• and_let_bool.sail
• duplicate_binding.expect
• duplicate_binding.sail
• duplicate_ctor.expect
• duplicate_ctor.sail
• duplicate_toplevel_let.expect
• duplicate_toplevel_let.sail
• duplicate_type_id.expect
• duplicate_type_id.sail
• missing_tick.expect
• missing_tick.sail
• scattered_union_rec.expect
• scattered_union_rec.sail
• shadow_leak_check.expect
• shadow_leak_check.sail
• shadow_leak_infer.expect
• shadow_leak_infer.sail
• struct_incomplete_literal.expect
• struct_incomplete_literal.sail
• struct_rec.expect
• struct_rec.sail
• synonym_rec.expect
• synonym_rec.sail
• union_rec.expect
• union_rec.sail
• union_recf.expect
• union_recf.sail