From 75702287dfef0a1b3c96f07d12c08f6eafcdcecf Mon Sep 17 00:00:00 2001
From: Blaine Bublitz <blaine.bublitz@gmail.com>
Date: Mon, 11 Sep 2023 22:07:44 -0700
Subject: [PATCH] Update compiler/src/language_server/sourcetree.re

---
 compiler/src/language_server/sourcetree.re | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/compiler/src/language_server/sourcetree.re b/compiler/src/language_server/sourcetree.re
index 7f83962c0f..df8382a28e 100644
--- a/compiler/src/language_server/sourcetree.re
+++ b/compiler/src/language_server/sourcetree.re
@@ -442,10 +442,7 @@ module Sourcetree: Sourcetree = {
             | Some(path) =>
               let decl = Env.find_type(path, pat.pat_env);
               if (decl.type_loc == Location.dummy_loc) {
-                switch (pat.pat_desc) {
-                | TPatConstruct(_, desc, _) => Some(desc.cstr_loc)
-                | _ => None
-                };
+                None;
               } else {
                 Some(decl.type_loc);
               };