{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":".ok()?;"}]}
                        .ok()?;
                        .eq(DefineOpaqueTypes::Yes, method.sig.inputs()[idx + 1], arg_ty)
                    self.select_obligations_where_possible(|errs| {