fail_conflict_imported_namespace_first.carbon 1.7 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758
  1. // Part of the Carbon Language project, under the Apache License v2.0 with LLVM
  2. // Exceptions. See /LICENSE for license information.
  3. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  4. //
  5. // AUTOUPDATE
  6. // --- namespace.carbon
  7. package Example library "namespace" api;
  8. namespace NS;
  9. // --- fail_conflict.carbon
  10. package Example api;
  11. import library "namespace";
  12. // CHECK:STDERR: fail_conflict.carbon:[[@LINE+9]]:1: ERROR: Duplicate name being declared in the same scope.
  13. // CHECK:STDERR: fn NS();
  14. // CHECK:STDERR: ^~~~~~~~
  15. // CHECK:STDERR: fail_conflict.carbon:[[@LINE-5]]:1: In import.
  16. // CHECK:STDERR: import library "namespace";
  17. // CHECK:STDERR: ^~~~~~
  18. // CHECK:STDERR: namespace.carbon:4:1: Name is previously declared here.
  19. // CHECK:STDERR: namespace NS;
  20. // CHECK:STDERR: ^~~~~~~~~~~~~
  21. fn NS();
  22. fn NS.Foo();
  23. // CHECK:STDOUT: --- namespace.carbon
  24. // CHECK:STDOUT:
  25. // CHECK:STDOUT: file {
  26. // CHECK:STDOUT: package: <namespace> = namespace [template] {
  27. // CHECK:STDOUT: .NS = %NS
  28. // CHECK:STDOUT: }
  29. // CHECK:STDOUT: %NS: <namespace> = namespace [template] {}
  30. // CHECK:STDOUT: }
  31. // CHECK:STDOUT:
  32. // CHECK:STDOUT: --- fail_conflict.carbon
  33. // CHECK:STDOUT:
  34. // CHECK:STDOUT: file {
  35. // CHECK:STDOUT: package: <namespace> = namespace [template] {
  36. // CHECK:STDOUT: .NS = %NS
  37. // CHECK:STDOUT: }
  38. // CHECK:STDOUT: %import_ref: <namespace> = import_ref ir1, inst+1, used
  39. // CHECK:STDOUT: %NS: <namespace> = namespace %import_ref, [template] {
  40. // CHECK:STDOUT: .Foo = %Foo
  41. // CHECK:STDOUT: }
  42. // CHECK:STDOUT: %.loc15: <function> = fn_decl @.1 [template] {}
  43. // CHECK:STDOUT: %Foo: <function> = fn_decl @Foo [template] {}
  44. // CHECK:STDOUT: }
  45. // CHECK:STDOUT:
  46. // CHECK:STDOUT: fn @.1();
  47. // CHECK:STDOUT:
  48. // CHECK:STDOUT: fn @Foo();
  49. // CHECK:STDOUT: