{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"with(|context|"}]}
        with(|context| {
    pub fn resolve(def: FnDef, args: &GenericArgs) -> Result<Instance, Error> {
            context.resolve_instance(def, args).ok_or_else(|| {