Nadrieril 30ca1c0a5d Remove incorrect assert ...

It's incorrect because `CtorSet::split` returns a non-present
constructor into `present` in one specific case: variable-length slices
of an empty type. That's because empty constructors of arity 0 break the
algorithm. This is a tricky corner case that's hard to do cleanly. The
assert wasn't adding much anyway.

2024-01-07 16:45:44 +01:00

..

constructor.rs

Clean up more lifetimes

2023-12-26 02:06:39 +00:00

errors.rs

s/RustcCtxt/RustcMatchCheckCtxt/

2023-12-15 16:58:38 +01:00

lib.rs

Statically enforce revealing of opaques

2024-01-01 23:10:03 +01:00

lints.rs

Remove incorrect assert

2024-01-07 16:45:44 +01:00

pat.rs

Reuse ctor_sub_tys when we have one around

2024-01-06 18:03:13 +01:00

rustc.rs

Statically enforce revealing of opaques

2024-01-01 23:10:03 +01:00

usefulness.rs

Reuse ctor_sub_tys when we have one around

2024-01-06 18:03:13 +01:00