From 14dec574ff037f988bd1ee521b9182554f113342 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Denuzi=C3=A8re?= <loic@denuziere.net>
Date: Tue, 9 Jan 2024 23:47:29 +0100
Subject: [PATCH] Remove workaround for Unsafe.AsRef bug in SDK 8.0.100

---
 .github/workflows/build.yml   | 6 +++---
 .github/workflows/publish.yml | 2 +-
 global.json                   | 2 +-
 src/Bolero/Router.fs          | 7 -------
 4 files changed, 5 insertions(+), 12 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 3056bc02..33a62dcd 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -20,7 +20,7 @@ jobs:
       - name: Setup dotnet
         uses: actions/setup-dotnet@v1
         with:
-          dotnet-version: '8.0.100'
+          dotnet-version: '8.0.101'
 
       - name: NuGet cache
         uses: actions/cache@v1
@@ -73,7 +73,7 @@ jobs:
       - name: Setup dotnet
         uses: actions/setup-dotnet@v1
         with:
-          dotnet-version: '8.0.100'
+          dotnet-version: '8.0.101'
 
       - name: Download nupkg
         uses: actions/download-artifact@v1
@@ -97,7 +97,7 @@ jobs:
       - name: Setup dotnet
         uses: actions/setup-dotnet@v1
         with:
-          dotnet-version: '8.0.100'
+          dotnet-version: '8.0.101'
 
       - name: Prepare
         run: |
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index a3b19c17..2affdb2e 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -11,7 +11,7 @@ jobs:
       - name: Setup dotnet
         uses: actions/setup-dotnet@v1
         with:
-          dotnet-version: '8.0.100'
+          dotnet-version: '8.0.101'
 
       - name: Download nupkg
         uses: dawidd6/action-download-artifact@v2
diff --git a/global.json b/global.json
index 35a65772..c9c781a8 100644
--- a/global.json
+++ b/global.json
@@ -1,6 +1,6 @@
 {
   "sdk": {
-    "version": "8.0.100",
+    "version": "8.0.101",
     "rollForward": "feature",
     "allowPrerelease": true
   }
diff --git a/src/Bolero/Router.fs b/src/Bolero/Router.fs
index 81ab576b..f7cbcaea 100644
--- a/src/Bolero/Router.fs
+++ b/src/Bolero/Router.fs
@@ -190,15 +190,8 @@ exception InvalidRouter of kind: InvalidRouterKind with
 type PageModel<'T> =
     { Model: 'T }
 
-#if NET8_0
-    static let prop = typeof<PageModel<'T>>.GetProperty("Model")
-
-    member internal this.SetModel(value) =
-        prop.SetValue(this, value)
-#else
     member internal this.SetModel(value) =
         Unsafe.AsRef<'T>(&this.Model) <- value
-#endif
 
 [<AutoOpen>]
 module private RouterImpl =