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

Make AdjustEmptyToAny actually perform the adjustment

Browse Source
This commit is contained in:
Andrew Cann 2016-08-01 14:44:29 +08:00
parent ba65d2e15b
commit 0e1c2aa52e
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/librustc_trans/expr.rs
View File

@ -381,11 +381,11 @@ fn apply_adjustments<'blk, 'tcx>(bcx: Block<'blk, 'tcx>,
debug!("unadjusted datum for expr {:?}: {:?} adjustment={:?}",
expr, datum, adjustment);
match adjustment {
AdjustEmptyToAny(..) => {
let const_ty = expr_ty(bcx, expr);
let llty = type_of::type_of(bcx.ccx(), const_ty);
AdjustEmptyToAny(ref target) => {
let mono_target = bcx.monomorphize(target);
let llty = type_of::type_of(bcx.ccx(), mono_target);
let dummy = C_undef(llty.ptr_to());
datum = Datum::new(dummy, const_ty, Rvalue::new(ByRef)).to_expr_datum();
datum = Datum::new(dummy, mono_target, Rvalue::new(ByRef)).to_expr_datum();
}
AdjustReifyFnPointer => {
match datum.ty.sty {