File tree 4 files changed +5
-8
lines changed
4 files changed +5
-8
lines changed Original file line number Diff line number Diff line change 8
8
rustc_attrs,
9
9
transparent_unions,
10
10
auto_traits,
11
+ freeze_impls,
11
12
thread_local
12
13
) ]
13
14
#![ no_core]
Original file line number Diff line number Diff line change @@ -779,7 +779,7 @@ fn codegen_stmt<'tcx>(
779
779
NullOp :: OffsetOf ( fields) => {
780
780
layout. offset_of_subfield ( fx, fields. iter ( ) ) . bytes ( )
781
781
}
782
- NullOp :: DebugAssertions => {
782
+ NullOp :: UbCheck ( _ ) => {
783
783
let val = fx. tcx . sess . opts . debug_assertions ;
784
784
let val = CValue :: by_val (
785
785
fx. bcx . ins ( ) . iconst ( types:: I8 , i64:: try_from ( val) . unwrap ( ) ) ,
Original file line number Diff line number Diff line change @@ -71,7 +71,7 @@ pub(crate) fn eval_mir_constant<'tcx>(
71
71
// This cannot fail because we checked all required_consts in advance.
72
72
let val = cv
73
73
. eval ( fx. tcx , ty:: ParamEnv :: reveal_all ( ) , Some ( constant. span ) )
74
- . expect ( "erroneous constant not captured by required_consts " ) ;
74
+ . expect ( "erroneous constant missed by mono item collection " ) ;
75
75
( val, cv. ty ( ) )
76
76
}
77
77
Original file line number Diff line number Diff line change @@ -115,14 +115,12 @@ pub(crate) fn maybe_create_entry_wrapper(
115
115
termination_trait,
116
116
)
117
117
. unwrap ( ) ;
118
- let report = Instance :: resolve (
118
+ let report = Instance :: expect_resolve (
119
119
tcx,
120
120
ParamEnv :: reveal_all ( ) ,
121
121
report. def_id ,
122
122
tcx. mk_args ( & [ GenericArg :: from ( main_ret_ty) ] ) ,
123
123
)
124
- . unwrap ( )
125
- . unwrap ( )
126
124
. polymorphize ( tcx) ;
127
125
128
126
let report_name = tcx. symbol_name ( report) . name ;
@@ -142,14 +140,12 @@ pub(crate) fn maybe_create_entry_wrapper(
142
140
}
143
141
} else if is_main_fn {
144
142
let start_def_id = tcx. require_lang_item ( LangItem :: Start , None ) ;
145
- let start_instance = Instance :: resolve (
143
+ let start_instance = Instance :: expect_resolve (
146
144
tcx,
147
145
ParamEnv :: reveal_all ( ) ,
148
146
start_def_id,
149
147
tcx. mk_args ( & [ main_ret_ty. into ( ) ] ) ,
150
148
)
151
- . unwrap ( )
152
- . unwrap ( )
153
149
. polymorphize ( tcx) ;
154
150
let start_func_id = import_function ( tcx, m, start_instance) ;
155
151
You can’t perform that action at this time.
0 commit comments