lcnr 7eb677e7eb normalizing where-clauses is also coinductive, add tests

2025-02-28 12:16:47 +01:00

..

coinductive-1-gat.rs

…

coinductive-1.rs

…

coinductive-2.rs

…

coinductive-2.stderr

…

ensure-overriding-bindings-in-pattern-with-ty-err-doesnt-ice.rs

…

ensure-overriding-bindings-in-pattern-with-ty-err-doesnt-ice.stderr

…

expr-type-error-plus-sized-obligation.rs

…

expr-type-error-plus-sized-obligation.stderr

…

recursive-type-binding.rs

…

recursive-type-binding.stderr

…

recursive-type-coercion-from-never.rs

…

recursive-type-coercion-from-never.stderr

…

recursive-type-pass.rs

…

stack-overflow-trait-infer-98842.32bit.stderr

…

stack-overflow-trait-infer-98842.64bit.stderr

…

stack-overflow-trait-infer-98842.rs

…

unsized-binding.rs

…

unsized-binding.stderr

…

unsized-str-in-return-expr-arg-and-local.rs

…

unsized-str-in-return-expr-arg-and-local.stderr

…