hax_frontend_exporter::state

Function with_owner_id

source 
pub fn with_owner_id<THIR, MIR>(
    base: Base<'_>,
    thir: THIR,
    mir: MIR,
    owner_id: DefId,
) -> State<Base<'_>, THIR, MIR, DefId, ()>
Expand description

Updates the OnwerId in a state, making sure to override opt_def_id in base as well.