blob: de7b945cdbcc1616ce3fe7d10a9421294f327922 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
Problem: Top-level typecheck is fragile, doesn't handle bounds referencing
each other.
Can generate a similar rule structure to the expression handling?
Or, create a new typecheck helper that can handle partially-checked bounds
Requirements:
- UFCS resoluton in bounds and impl headers
- Does this need to search other impls?
- A quick check with the playpen implies that non-generics require fully-qualified paths.
- But Generics don't.
|
