Right now in trans we have this result and lval_result that is the combination of a bcx and a value. It should also include the rust type of this value. This would make it possible to figure out, based solely on result and lval_result, whether something is stored on the stack or not. Right now we have to check if the kind is owned and if the type is immediate.
Right now in trans we have this
resultandlval_resultthat is the combination of a bcx and a value. It should also include the rust type of this value. This would make it possible to figure out, based solely onresultandlval_result, whether something is stored on the stack or not. Right now we have to check if the kind is owned and if the type is immediate.