File tree Expand file tree Collapse file tree 2 files changed +2
-3
lines changed Expand file tree Collapse file tree 2 files changed +2
-3
lines changed Original file line number Diff line number Diff line change @@ -71,8 +71,7 @@ fn remap_mir_for_const_eval_select<'tcx>(
71
71
fn_span,
72
72
..
73
73
} if let ty:: FnDef ( def_id, _) = * const_. ty ( ) . kind ( )
74
- && tcx. item_name ( def_id) == sym:: const_eval_select
75
- && tcx. is_intrinsic ( def_id) =>
74
+ && matches ! ( tcx. intrinsic( def_id) , Some ( sym:: const_eval_select) ) =>
76
75
{
77
76
let [ tupled_args, called_in_const, called_at_rt] : [ _ ; 3 ] =
78
77
std:: mem:: take ( args) . try_into ( ) . unwrap ( ) ;
Original file line number Diff line number Diff line change @@ -502,7 +502,7 @@ memoize!(
502
502
. predicates
503
503
. into_iter( )
504
504
. filter_map( |( pred, _) | {
505
- pred. subst_supertrait ( cx. tcx, & trait_ref) . as_trait_clause( )
505
+ pred. instantiate_supertrait ( cx. tcx, & trait_ref) . as_trait_clause( )
506
506
} ) ;
507
507
for supertrait in super_traits {
508
508
if visited. insert( supertrait. to_predicate( cx. tcx) ) {
You can’t perform that action at this time.
0 commit comments