Filter predicates first for fast-path type flags
This commit is contained in:
parent
4c83bd03a9
commit
096f454774
@ -174,8 +174,8 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
|
|||||||
.param_env
|
.param_env
|
||||||
.caller_bounds()
|
.caller_bounds()
|
||||||
.iter()
|
.iter()
|
||||||
.filter_map(|p| p.to_opt_poly_trait_pred())
|
.filter(|p| !p.references_error())
|
||||||
.filter(|p| !p.references_error());
|
.filter_map(|p| p.to_opt_poly_trait_pred());
|
||||||
|
|
||||||
// Micro-optimization: filter out predicates relating to different traits.
|
// Micro-optimization: filter out predicates relating to different traits.
|
||||||
let matching_bounds =
|
let matching_bounds =
|
||||||
|
Loading…
x
Reference in New Issue
Block a user