pub(crate) fn check<'genv>( infcx: &InferCtxt<'genv, '_>, node: &OwnerNode<'genv>, ) -> Result<(), ErrorGuaranteed>