{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"#[inline(always)]"}]}
    #[inline(always)]
    fn contract_checks(_ecx: &InterpCx<$tcx, Self>) -> InterpResult<$tcx, bool> {