pub fn foreign_modules<'tcx>(
    _tcx: TyCtxt<'tcx>,
    value: foreign_modules<'tcx>
) -> Erase<foreign_modules<'tcx>>