[−][src]Function rustc_typeck::collect::type_of::let_position_impl_trait_type

pub(in collect::type_of) fn let_position_impl_trait_type(
    tcx: TyCtxt<'_>, 
    opaque_ty_id: LocalDefId
) -> Ty<'_>

Retrieve the inferred concrete type for let position impl trait.

This is different to other kinds of impl trait because:

  1. We know which function contains the defining use (the function that contains the let statement)
  2. We do not currently allow (free) lifetimes in the return type. let statements in some statically unreachable code are removed from the MIR by the time we borrow check, and it's not clear how we should handle those.