fix comment

This commit is contained in:
lcnr 2023-04-12 22:07:07 +02:00
parent cc82ccb145
commit c0d3d32922

View File

@ -1764,7 +1764,8 @@ fn report_projection_error(
// constrain inference variables a bit more to nested obligations from normalize so
// we can have more helpful errors.
//
// we intentionally errors from normalization here.
// we intentionally drop errors from normalization here,
// since the normalization is just done to improve the error message.
let _ = ocx.select_where_possible();
if let Err(new_err) = ocx.eq_exp(