{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"Ok(ty::Binder::dummy(vec![crit.instantiate(ecx.cx(),"}]}
                Ok(ty::Binder::dummy(vec![crit.instantiate(ecx.cx(), args)]))
            if let Some(crit) = def.sizedness_constraint(ecx.cx(), sizedness) {
            } else {