mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Rollup merge of #113553 - spastorino:smir-types-2, r=oli-obk

Browse Source 
Make Placeholder, GeneratorWitness*, Infer and Error unreachable on SMIR rustc_ty_to_ty

Let's remove these todos to not confuse ``@ericmarkmartin`` if they pick some conversion up.

r? ``@oli-obk``
This commit is contained in:
Matthias Krüger 2023-07-13 12:19:22 +02:00 committed by GitHub
commit 66233fbb32
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
compiler/rustc_smir/src/rustc_smir/mod.rs
View File

@ -103,12 +103,9 @@ impl<'tcx> Tables<'tcx> {
ty::Ref(_, _, _) => todo!(), ty::Ref(_, _, _) => todo!(),
ty::FnDef(_, _) => todo!(), ty::FnDef(_, _) => todo!(),
ty::FnPtr(_) => todo!(), ty::FnPtr(_) => todo!(),
ty::Placeholder(..) => todo!(),
ty::Dynamic(_, _, _) => todo!(), ty::Dynamic(_, _, _) => todo!(),
ty::Closure(_, _) => todo!(), ty::Closure(_, _) => todo!(),
ty::Generator(_, _, _) => todo!(), ty::Generator(_, _, _) => todo!(),
ty::GeneratorWitness(_) => todo!(),
ty::GeneratorWitnessMIR(_, _) => todo!(),
ty::Never => todo!(), ty::Never => todo!(),
ty::Tuple(fields) => TyKind::RigidTy(RigidTy::Tuple( ty::Tuple(fields) => TyKind::RigidTy(RigidTy::Tuple(
fields.iter().map(|ty| self.intern_ty(ty)).collect(), fields.iter().map(|ty| self.intern_ty(ty)).collect(),
@ -116,8 +113,13 @@ impl<'tcx> Tables<'tcx> {
ty::Alias(_, _) => todo!(), ty::Alias(_, _) => todo!(),
ty::Param(_) => todo!(), ty::Param(_) => todo!(),
ty::Bound(_, _) => todo!(), ty::Bound(_, _) => todo!(),
ty::Infer(_) => todo!(), ty::Placeholder(..)
ty::Error(_) => todo!(), | ty::GeneratorWitness(_)
| ty::GeneratorWitnessMIR(_, _)
| ty::Infer(_)
| ty::Error(_) => {
unreachable!();
}
} }
} }