{"ast_node_type":"import","tokens":[{"end":61,"kind":"keyword","start":0,"text":"debug!(\"Skipping"}]}
        debug!("Skipping borrowck because of injected body");
    } else if input_body.should_skip() {
        let opaque_types = ConcreteOpaqueTypes(Default::default());