Polymorphic function with context bound still needs modularity

[bishabosha]

Compiler version

3.6.2-RC1

Minimized code

import scala.math.Numeric.Implicits.given
val foo: [T: Numeric] => (t: T) => T = [T] => _ * Numeric[T].fromInt(3)

Output

-- [E040] Syntax Error: --------------------------------------------------------
2 |val foo: [T: Numeric] => (t: T) => T = [T] => _ * Numeric[T].fromInt(3)
  |           ^
  |           ']' expected, but ':' found

Expectation

should just work (right now you need to import scala.language.experimental.modularity)