Skip to main content

read_const

charon_driver::hax::constant_utils::uneval

Function read_const 

Source 
pub fn read_const<'tcx, S: UnderOwnerState<'tcx>>(
    s: &S,
    span: Span,
    src: ConstSource<'tcx>,
    mode: ReadMode,
) -> Option<ConstantExpr<'tcx>>
Expand description

Evaluate src and read it back as a ConstantExpr.