{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":")"}]}
    ) -> Result<GenericArg<'tcx>, NoSolution> {
        goal: PseudoCanonicalInput<'tcx, GenericArg<'tcx>>
        desc { "normalizing `{}`", goal.value }