Module rustc_hir_analysis::check::wfcheck

source ·

Structs§

  • 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.

Enums§

Constants§

Functions§