File tree 2 files changed +7
-3
lines changed
librustc/middle/typeck/check
2 files changed +7
-3
lines changed Original file line number Diff line number Diff line change @@ -99,8 +99,12 @@ pub unsafe fn borrow_as_imm(a: *u8) {
99
99
#[ lang="return_to_mut" ]
100
100
#[ inline( always) ]
101
101
pub unsafe fn return_to_mut ( a : * u8 ) {
102
- let a: * mut BoxRepr = transmute ( a) ;
103
- ( * a) . header . ref_count &= !FROZEN_BIT ;
102
+ // Sometimes the box is null, if it is conditionally frozen.
103
+ // See e.g. #4904.
104
+ if !a. is_null ( ) {
105
+ let a: * mut BoxRepr = transmute ( a) ;
106
+ ( * a) . header . ref_count &= !FROZEN_BIT ;
107
+ }
104
108
}
105
109
106
110
#[ lang="check_not_borrowed" ]
Original file line number Diff line number Diff line change @@ -615,7 +615,7 @@ pub mod guarantor {
615
615
// expressions, both of which always yield a region variable, so
616
616
// mk_subr should never fail.
617
617
let rptr_ty = rcx. resolve_node_type( id) ;
618
- if !ty:: type_is_error( rptr_ty) {
618
+ if !ty:: type_is_error( rptr_ty) && !ty :: type_is_bot ( rptr_ty ) {
619
619
let tcx = rcx. fcx. ccx. tcx;
620
620
debug!( "rptr_ty=%s", ty_to_str( tcx, rptr_ty) ) ;
621
621
let r = ty:: ty_region( tcx, span, rptr_ty) ;
You can’t perform that action at this time.
0 commit comments