summaryrefslogtreecommitdiff
path: root/test/files/neg/interop_concretetypetags_without_classtags_arenot_manifests.check
diff options
context:
space:
mode:
Diffstat (limited to 'test/files/neg/interop_concretetypetags_without_classtags_arenot_manifests.check')
-rw-r--r--test/files/neg/interop_concretetypetags_without_classtags_arenot_manifests.check6
1 files changed, 6 insertions, 0 deletions
diff --git a/test/files/neg/interop_concretetypetags_without_classtags_arenot_manifests.check b/test/files/neg/interop_concretetypetags_without_classtags_arenot_manifests.check
new file mode 100644
index 0000000000..fc550abb4d
--- /dev/null
+++ b/test/files/neg/interop_concretetypetags_without_classtags_arenot_manifests.check
@@ -0,0 +1,6 @@
+interop_concretetypetags_without_classtags_arenot_manifests.scala:6: error: to create a manifest here, it is necessary to interoperate with the type tag `evidence$1` in scope.
+however typetag -> manifest conversion requires a class tag for the corresponding type to be present.
+to proceed add a class tag to the type `T` (e.g. by introducing a context bound) and recompile.
+ println(manifest[T])
+ ^
+one error found