Function get_concrete_opaque_type 

fn get_concrete_opaque_type<'tcx>(
    concrete_opaque_types: &ConcreteOpaqueTypes<'tcx>,
    def_id: LocalDefId,
) -> Option<EarlyBinder<'tcx, OpaqueHiddenType<'tcx>>>