TODO => FIXME
This commit is contained in:
parent
6b07cec05c
commit
b64c40bc6f
1 changed files with 1 additions and 1 deletions
|
@ -300,7 +300,7 @@ impl<'a, 'tcx> WfPredicates<'a, 'tcx> {
|
||||||
let mut cause = cause.clone();
|
let mut cause = cause.clone();
|
||||||
if let Some(parent_trait_ref) = obligation.predicate.to_opt_poly_trait_pred() {
|
if let Some(parent_trait_ref) = obligation.predicate.to_opt_poly_trait_pred() {
|
||||||
let derived_cause = traits::DerivedObligationCause {
|
let derived_cause = traits::DerivedObligationCause {
|
||||||
// TODO: sus
|
// FIXME(fee1-dead): when improving error messages, change this to PolyTraitPredicate
|
||||||
parent_trait_ref: parent_trait_ref.map_bound(|t| t.trait_ref),
|
parent_trait_ref: parent_trait_ref.map_bound(|t| t.trait_ref),
|
||||||
parent_code: Lrc::new(obligation.cause.code.clone()),
|
parent_code: Lrc::new(obligation.cause.code.clone()),
|
||||||
};
|
};
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue