Function rustc_trait_selection::error_reporting::infer::nice_region_error::find_anon_type::find_anon_type
source · pub fn find_anon_type<'tcx>(
tcx: TyCtxt<'tcx>,
generic_param_scope: LocalDefId,
region: Region<'tcx>,
br: &BoundRegionKind,
) -> Option<(&'tcx Ty<'tcx>, &'tcx FnSig<'tcx>)>
Expand description
This function calls the visit_ty
method for the parameters
corresponding to the anonymous regions. The nested_visitor.found_type
contains the anonymous type.
§Arguments
region - the anonymous region corresponding to the anon_anon conflict
br - the bound region corresponding to the above region which is of type BrAnon(_)
§Example
ⓘ
fn foo(x: &mut Vec<&u8>, y: &u8)
{ x.push(y); }
The function returns the nested type corresponding to the anonymous region
for e.g., &u8
and Vec<&u8>
.