syntax_data: {"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":")"}]}
source_snippet:     ) -> bool {
context_before:         impl_args: I::GenericArgs,
context_after:         self.args_may_unify_inner(obligation_args, impl_args, Self::STARTING_DEPTH)