pub trait TypeErrCtxtExt<'a, 'tcx> {
    // Required methods
    fn report_fulfillment_errors(
        &self,
        errors: Vec<FulfillmentError<'tcx>>,
    ) -> ErrorGuaranteed;
    fn report_fulfillment_error(
        &self,
        error: &FulfillmentError<'tcx>,
    ) -> ErrorGuaranteed;
}

Required Methods§

Implementations on Foreign Types§

source§

impl<'a, 'tcx> TypeErrCtxtExt<'a, 'tcx> for TypeErrCtxt<'a, 'tcx>

Implementors§