{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":")"}]}
    ) -> Result<Candidate<I>, NoSolution> {
        upcast_principal: Option<ty::Binder<I, ty::ExistentialTraitRef<I>>>,
        let param_env = goal.param_env;