id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
2497,Weird scoping for tyvars in rules,rl,igloo,"This rule:

{{{
{-# RULES ""id"" forall (x :: a). id x = x #-}
}}}

compiles fine with no `LANGUAGE` options but fails if I add `Rank2Types`:

{{{
Not in scope: type variable `a'
}}}

It compiles fine again if I additionally include `ScopedTypeVariables`. This looks wrong to me.",merge,closed,high,6.10.1,Compiler,6.8.3,fixed,,,Unknown/Multiple,Unknown/Multiple,,Unknown,typecheck/should_compile/T2497,,,