Module opaque_hidden_inferred_bound 

Re-exports

use rustc_hir as hir; 🔒

use rustc_hir::AmbigArg; 🔒

use rustc_infer::infer::TyCtxtInferExt; 🔒

use rustc_lint_defs::declare_lint; 🔒

use rustc_lint_defs::declare_lint_pass; 🔒

use rustc_macros::Diagnostic; 🔒

use rustc_macros::Subdiagnostic; 🔒

use rustc_middle::ty::print::PrintTraitClauseExt as _; 🔒

use rustc_middle::ty::print::TraitClausePrintModifiersAndPath; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::BottomUpFolder; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TypeFoldable; 🔒

use rustc_middle::ty::Unnormalized; 🔒

use rustc_span::Span; 🔒

use rustc_span::kw; 🔒

use rustc_trait_selection::traits; 🔒

use rustc_trait_selection::traits::ObligationCtxt; 🔒

use crate::LateContext; 🔒

use crate::LateLintPass; 🔒

use crate::LintContext; 🔒

Structs

AddBound 🔒

OpaqueHiddenInferredBound

OpaqueHiddenInferredBoundLint 🔒

Statics

OPAQUE_HIDDEN_INFERRED_BOUND

The opaque_hidden_inferred_bound lint detects cases in which nested impl Trait in associated type bounds are not written generally enough to satisfy the bounds of the associated type.