{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"{"}]}
            {
            if self.db.trait_solve(krate, self.trait_env.block, canonical.cast(Interner)).is_some()
                self.register_obligation(obligation.goal);