diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2011-11-14 16:28:49 +0000 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2011-11-14 16:28:49 +0000 |
| commit | 7e643d3e4abd561c9fa5a9cc75744f8ac2be3d12 (patch) | |
| tree | 8cde362c6acc0d181192160cafdb0a5dd914509a /test/files/run/promotion.scala | |
| parent | e65ba2a5c22e27b9190eac4e046492839950123b (diff) | |
| download | scala-7e643d3e4abd561c9fa5a9cc75744f8ac2be3d12.tar.gz scala-7e643d3e4abd561c9fa5a9cc75744f8ac2be3d12.tar.bz2 scala-7e643d3e4abd561c9fa5a9cc75744f8ac2be3d12.zip | |
got rid of unsafe in typedSubst
don't need to re-type to the original type for correctness (was more to
verify the substitution was indeed type-preserving whenever possibly)
no review
Diffstat (limited to 'test/files/run/promotion.scala')
0 files changed, 0 insertions, 0 deletions