bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Make sure test_type_match doesn't ICE with late-bound types

Browse source
This commit is contained in:
Michael Goulet 2023-02-18 04:09:51 +00:00
parent 53709aedba
commit c13d5f1aeb
3 changed files with 27 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
compiler/rustc_infer/src/infer/outlives/test_type_match.rs
View file

@ -186,7 +186,8 @@ impl<'tcx> TypeRelation<'tcx> for Match<'tcx> {
#[instrument(skip(self), level = "debug")]
fn tys(&mut self, pattern: Ty<'tcx>, value: Ty<'tcx>) -> RelateResult<'tcx, Ty<'tcx>> {
if let ty::Error(_) = pattern.kind() {
// FIXME(non_lifetime_binders): What to do here?
if matches!(pattern.kind(), ty::Error(_) | ty::Bound(..)) {
// Unlike normal `TypeRelation` rules, `ty::Error` does not equal any type.
self.no_match()
} else if pattern == value {