Function type_of_opaque_hir_typeck 

pub(super) fn type_of_opaque_hir_typeck(
    tcx: TyCtxt<'_>,
    def_id: LocalDefId,
) -> EarlyBinder<'_, Ty<'_>>