relnotes: Add mention of QuantifiedConstraints
[ghc.git] / testsuite / tests / dependent / should_compile / InferDependency.hs
2018-04-01  Richard EisenbergTrack type variable scope more carefully.