diff options
| author | Eugene Burmako <xeno.by@gmail.com> | 2014-01-27 20:39:04 +0300 |
|---|---|---|
| committer | Eugene Burmako <xeno.by@gmail.com> | 2014-02-14 13:24:47 +0100 |
| commit | 3293d60531615f4accdee886fba52ddda0929b31 (patch) | |
| tree | 59f4cf0ab64fe7413ede01e05d89ca2570a52e02 /test/files/run/t8190.check | |
| parent | 356839e9f33db50d3c25d68ee1f371a1994b0f90 (diff) | |
| download | scala-3293d60531615f4accdee886fba52ddda0929b31.tar.gz scala-3293d60531615f4accdee886fba52ddda0929b31.tar.bz2 scala-3293d60531615f4accdee886fba52ddda0929b31.zip | |
SI-8190 erasure identities for types in reflection API
Makes sure that almost every abstract type declared in reflection API
erases to a unique class, so that they can be adequately used for
method overloading to the same extent that tags allow them to be used
in pattern matching.
The only two exceptions from this rule are the types whose implementations
we do not control: FlagSet that is implemented as Long and RuntimeClass
that is implemented as java.lang.Class[_].
Diffstat (limited to 'test/files/run/t8190.check')
| -rw-r--r-- | test/files/run/t8190.check | 95 |
1 files changed, 95 insertions, 0 deletions
diff --git a/test/files/run/t8190.check b/test/files/run/t8190.check new file mode 100644 index 0000000000..2362af7320 --- /dev/null +++ b/test/files/run/t8190.check @@ -0,0 +1,95 @@ +Annotation +JavaArgument +LiteralArgument +ArrayArgument +NestedArgument +Constant +Mirror +Name +TermName +TypeName +Position +Scope +MemberScope +Symbol +TermSymbol +TypeSymbol +MethodSymbol +ModuleSymbol +ClassSymbol +FreeTermSymbol +FreeTypeSymbol +Type +SingletonType +ThisType +SingleType +SuperType +ConstantType +TypeRef +CompoundType +RefinedType +ClassInfoType +MethodType +NullaryMethodType +PolyType +ExistentialType +AnnotatedType +TypeBounds +BoundedWildcardType +Tree +TermTree +TypTree +SymTree +NameTree +RefTree +DefTree +MemberDef +PackageDef +ImplDef +ClassDef +ModuleDef +ValOrDefDef +ValDef +DefDef +TypeDef +LabelDef +ImportSelector +Import +Template +Block +CaseDef +Alternative +Star +Bind +UnApply +Function +Assign +AssignOrNamedArg +If +Match +Return +Try +Throw +New +Typed +GenericApply +TypeApply +Apply +Super +This +Select +Ident +ReferenceToBoxed +Literal +Annotated +SingletonTypeTree +SelectFromTypeTree +CompoundTypeTree +AppliedTypeTree +TypeBoundsTree +ExistentialTypeTree +TypeTree +Modifiers +TreeCopier +checking exhaustiveness in scala.reflect.api.Universe... +uncovered type members: List() |