{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"return"}]}
                    return Some(self.register_hidden_type(
                    // See comment on `insert_hidden_type` for why this is sufficient in coherence
                        OpaqueTypeKey { def_id, args },