diff options
author | Martin Odersky <odersky@gmail.com> | 2016-03-25 10:34:54 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-03-30 09:51:03 +0200 |
commit | d0f9848486be2c8cec61acb94a592e8c9d4f842f (patch) | |
tree | 788bbed18e395c71eb2374c543b2cd6c2eff866d /src/dotty/tools/dotc/core/Types.scala | |
parent | 0474de635bee32f6d78726072230c9d572de0d52 (diff) | |
download | dotty-d0f9848486be2c8cec61acb94a592e8c9d4f842f.tar.gz dotty-d0f9848486be2c8cec61acb94a592e8c9d4f842f.tar.bz2 dotty-d0f9848486be2c8cec61acb94a592e8c9d4f842f.zip |
Add methods for expressing named type params
Add methods for expressing what the named type parameters of a class or type are.
Also, add a method that widens a type so that is has a specified set of named type parameters.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions