Module rustc_hir_analysis::check::wfcheck

source Β·


  • Collect usages of the param_def_id and Res::SelfTyAlias in the HIR.
  • GATArgsCollector πŸ”’
    TypeVisitor that looks for uses of GATs like <P0 as Trait<P1..Pn>>::GAT<Pn..Pm> and adds the arguments P0..Pm into the two vectors, regions and types (depending on their kind). For each parameter Pi also track the index i.
  • Detects cases where an ADT/LTA is trivially cyclical – we want to detect this so we only mention that its parameters are used cyclically if the ADT/LTA is truly cyclical.
  • WfCheckingCtxt πŸ”’