Struct GenericTypeCandidates 

pub struct GenericTypeCandidates<'tcx> {
    trait_map: HashMap<String, HashSet<Ty<'tcx>>>,
}

Representative concrete types satisfying generic trait bounds.

Fields

trait_map: HashMap<String, HashSet<Ty<'tcx>>>

Implementations

impl<'tcx> GenericTypeCandidates<'tcx>

pub fn for_def(tcx: TyCtxt<'tcx>, def_id: DefId) -> Self

Build generic type candidates from a function definition.

pub fn new(tcx: TyCtxt<'tcx>, param_env: ParamEnv<'tcx>) -> Self

Build generic type candidates from a parameter environment.

pub fn candidates_for(&self, generic_name: &str) -> Option<&HashSet<Ty<'tcx>>>

Return the representative types for a generic parameter name.

pub fn candidates_for_ty(&self, ty: Ty<'tcx>) -> Option<&HashSet<Ty<'tcx>>>

Return representative types for a generic parameter type.

fn pod_types(tcx: TyCtxt<'tcx>) -> HashSet<Ty<'tcx>>