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

Address PR feedback

Browse Source
This commit is contained in:
Ben Reeves 2021-11-28 07:05:23 -06:00
parent 9155f672bf
commit 6df2c78e1c
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/rustc_typeck/src/collect.rs
View File

@ -2438,7 +2438,7 @@ fn predicates_from_bound<'tcx>(
bound_vars: &'tcx ty::List<ty::BoundVariableKind>, bound_vars: &'tcx ty::List<ty::BoundVariableKind>,
) -> Vec<(ty::Predicate<'tcx>, Span)> { ) -> Vec<(ty::Predicate<'tcx>, Span)> {
let mut bounds = Bounds::default(); let mut bounds = Bounds::default();
astconv.add_bounds(param_ty, std::array::IntoIter::new([bound]), &mut bounds, bound_vars); astconv.add_bounds(param_ty, [bound].into_iter(), &mut bounds, bound_vars);
bounds.predicates(astconv.tcx(), param_ty) bounds.predicates(astconv.tcx(), param_ty)
} }

2
src/test/ui/higher-rank-trait-bounds/issue-88586-hr-self-outlives-in-trait-def.rs
View File

@ -1,7 +1,7 @@
// Regression test for #88586: a higher-ranked outlives bound on Self in a trait // Regression test for #88586: a higher-ranked outlives bound on Self in a trait
// definition caused an ICE when debug_assertions were enabled. // definition caused an ICE when debug_assertions were enabled.
// //
// The error output is incidentally unhelpful; this should be improved. // FIXME: The error output in the absence of the ICE is unhelpful; this should be improved.
trait A where for<'a> Self: 'a trait A where for<'a> Self: 'a
//~^ ERROR the parameter type `Self` may not live long enough //~^ ERROR the parameter type `Self` may not live long enough