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;
}