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

simplify argument type for to take param-ty

Browse Source 
we don't really take other things
This commit is contained in:
Niko Matsakis 2022-06-15 06:14:48 -04:00
parent c5ed318b22
commit e260afc3ba
1 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
compiler/rustc_infer/src/infer/outlives/verify.rs
View File

@ -83,10 +83,8 @@ fn param_bound(&self, param_ty: ty::ParamTy) -> VerifyBound<'tcx> {
// Start with anything like `T: 'a` we can scrape from the // Start with anything like `T: 'a` we can scrape from the
// environment // environment
let param_bounds = self let param_bounds =
.declared_generic_bounds_from_env(GenericKind::Param(param_ty)) self.declared_generic_bounds_from_env(param_ty).into_iter().map(|outlives| outlives.1);
.into_iter()
.map(|outlives| outlives.1);
// Add in the default bound of fn body that applies to all in // Add in the default bound of fn body that applies to all in
// scope type parameters: // scope type parameters:
@ -218,9 +216,9 @@ fn recursive_bound(
/// bounds, but all the bounds it returns can be relied upon. /// bounds, but all the bounds it returns can be relied upon.
fn declared_generic_bounds_from_env( fn declared_generic_bounds_from_env(
&self, &self,
generic: GenericKind<'tcx>, param_ty: ty::ParamTy,
) -> Vec<ty::OutlivesPredicate<Ty<'tcx>, ty::Region<'tcx>>> { ) -> Vec<ty::OutlivesPredicate<Ty<'tcx>, ty::Region<'tcx>>> {
let generic_ty = generic.to_ty(self.tcx); let generic_ty = param_ty.to_ty(self.tcx);
self.declared_generic_bounds_from_env_with_compare_fn(|ty| ty == generic_ty) self.declared_generic_bounds_from_env_with_compare_fn(|ty| ty == generic_ty)
} }