Function type_of_opaque_hir_typeck 

pub fn type_of_opaque_hir_typeck<'tcx>(
    tcx: TyCtxt<'tcx>,
    key: LocalDefId,
) -> String