summaryrefslogtreecommitdiffstats
path: root/tests/diagnostics/extension-visibility.slang
blob: 9923e678db2754ea7d456101d3707eabf631a502 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
// extension-visibility.slang

// Confirm that visibility of `extensions` is
// correctly scoped via `import`.

//DIAGNOSTIC_TEST:SIMPLE(filecheck=CHECK):

import extension_visibility_a;

// Note: not importing b:
// import extension_visibility_b;

import extension_visibility_c;

int shouldntWork(MyThing thing)
{
	return helper(thing);
}

// CHECK: could not specialize generic for arguments of type