{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":")"}]}
    ) -> Substitution {
        infer_args: bool,
        self.substs_from_path_segment(resolved.into(), infer_args, Some(explicit_self_ty), false)