{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"debug!(\"impl_provided_for"}]}
        debug!("impl_provided_for {:?}, {:?}", auto_trait_id, kind);
    fn impl_provided_for(&self, auto_trait_id: TraitId, kind: &chalk_ir::TyKind<Interner>) -> bool {