Lukas Markeffsky 29036045c3 add test for coercing never to infinite type

2023-12-26 17:57:33 +01:00

..

coinductive-1-gat.rs

…

coinductive-1.rs

…

coinductive-2.rs

…

recursive-type-binding.rs

rename tests

2023-12-26 17:50:30 +01:00

recursive-type-binding.stderr

rename tests

2023-12-26 17:50:30 +01:00

recursive-type-coercion-from-never.rs

add test for coercing never to infinite type

2023-12-26 17:57:33 +01:00

recursive-type-coercion-from-never.stderr

add test for coercing never to infinite type

2023-12-26 17:57:33 +01:00

recursive-type-pass.rs

rename tests

2023-12-26 17:50:30 +01:00

unsized-binding.rs

…

unsized-binding.stderr

…