this might be unqualified, but at least it's now quantified
This commit is contained in:
parent
dfa1af2059
commit
88787083f4
@ -91,7 +91,7 @@ fn check_fn(
|
|||||||
cx.tcx.infer_ctxt().enter(|infcx| {
|
cx.tcx.infer_ctxt().enter(|infcx| {
|
||||||
for FulfillmentError { obligation, .. } in send_errors {
|
for FulfillmentError { obligation, .. } in send_errors {
|
||||||
infcx.maybe_note_obligation_cause_for_async_await(db, &obligation);
|
infcx.maybe_note_obligation_cause_for_async_await(db, &obligation);
|
||||||
if let Trait(trait_pred, _) = obligation.predicate.ignore_qualifiers().skip_binder().kind() {
|
if let Trait(trait_pred, _) = obligation.predicate.ignore_quantifiers().skip_binder().kind() {
|
||||||
db.note(&format!(
|
db.note(&format!(
|
||||||
"`{}` doesn't implement `{}`",
|
"`{}` doesn't implement `{}`",
|
||||||
trait_pred.self_ty(),
|
trait_pred.self_ty(),
|
||||||
|
@ -1559,7 +1559,7 @@ fn check_impl_item(&mut self, cx: &LateContext<'tcx>, impl_item: &'tcx hir::Impl
|
|||||||
if let ty::Opaque(def_id, _) = ret_ty.kind {
|
if let ty::Opaque(def_id, _) = ret_ty.kind {
|
||||||
// one of the associated types must be Self
|
// one of the associated types must be Self
|
||||||
for &(predicate, _span) in cx.tcx.predicates_of(def_id).predicates {
|
for &(predicate, _span) in cx.tcx.predicates_of(def_id).predicates {
|
||||||
if let ty::PredicateKind::Projection(projection_predicate) = predicate.ignore_qualifiers().skip_binder().kind() {
|
if let ty::PredicateKind::Projection(projection_predicate) = predicate.ignore_quantifiers().skip_binder().kind() {
|
||||||
// walk the associated type and check for Self
|
// walk the associated type and check for Self
|
||||||
if contains_self_ty(projection_predicate.ty) {
|
if contains_self_ty(projection_predicate.ty) {
|
||||||
return;
|
return;
|
||||||
|
@ -1263,7 +1263,7 @@ pub fn is_must_use_ty<'tcx>(cx: &LateContext<'tcx>, ty: Ty<'tcx>) -> bool {
|
|||||||
ty::Tuple(ref substs) => substs.types().any(|ty| is_must_use_ty(cx, ty)),
|
ty::Tuple(ref substs) => substs.types().any(|ty| is_must_use_ty(cx, ty)),
|
||||||
ty::Opaque(ref def_id, _) => {
|
ty::Opaque(ref def_id, _) => {
|
||||||
for (predicate, _) in cx.tcx.predicates_of(*def_id).predicates {
|
for (predicate, _) in cx.tcx.predicates_of(*def_id).predicates {
|
||||||
if let ty::PredicateKind::Trait(trait_predicate, _) = predicate.ignore_qualifiers().skip_binder().kind() {
|
if let ty::PredicateKind::Trait(trait_predicate, _) = predicate.ignore_quantifiers().skip_binder().kind() {
|
||||||
if must_use_attr(&cx.tcx.get_attrs(trait_predicate.trait_ref.def_id)).is_some() {
|
if must_use_attr(&cx.tcx.get_attrs(trait_predicate.trait_ref.def_id)).is_some() {
|
||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user