[Git][ghc/ghc][wip/T23923-mikolaj-take-2] Remove a question-comment that's probably absurd

[Mikolaj Konarski (@Mikolaj)]

Mikolaj Konarski pushed to branch wip/T23923-mikolaj-take-2 at Glasgow Haskell Compiler / GHC


Commits:
fa335dac by Mikolaj Konarski at 2024-02-19T11:11:09+01:00
Remove a question-comment that's probably absurd

- - - - -


1 changed file:

- compiler/GHC/Core/TyCo/FVs.hs


Changes:

=====================================
compiler/GHC/Core/TyCo/FVs.hs
=====================================
@@ -1348,4 +1348,4 @@ occCheckExpand vs_to_avoid ty
     ------------------
     go_prov cxt (PhantomProv co)    = PhantomProv <$> go_co cxt co
     go_prov cxt (ProofIrrelProv co) = ProofIrrelProv <$> go_co cxt co
-    go_prov _   p@(PluginProv _ _)  = return p  -- !!! Richard says somewhere in the old MR: "If the zapped co contains tyvars, we might need to expand here, too."
+    go_prov _   p@(PluginProv _ _)  = return p



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/fa335dac15d1d23f9cb42186894a3b1610465c6b

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/fa335dac15d1d23f9cb42186894a3b1610465c6b
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20240219/95c24a5c/attachment.html>