rust/compiler/rustc_const_eval
Dylan DPC 32dde232d8
Rollup merge of #102559 - compiler-errors:issue-102553, r=oli-obk
Don't ICE when trying to copy unsized value in const prop

When we have a trivially false where-clause predicate like `Self: Sized` where `Self = dyn Trait`, we sometimes don't throw an error during typeck for an illegal operation such as copying an unsized type.

This, unfortunately, cannot be made into an error (at least not without some migration -- see #95611 for example), but we should at least not ICE, since this function will never actually be reachable from main, for example.

r? `@RalfJung` since I think you added these assertions? but feel free to reassign.

Fixes #102553
2022-10-04 16:11:02 +05:30
..
src Rollup merge of #102559 - compiler-errors:issue-102553, r=oli-obk 2022-10-04 16:11:02 +05:30
Cargo.toml Initial fixes on top of type interner commit 2022-05-28 11:38:22 -07:00