| 50 | // Bound dependency traversal independently of type-inference fuel. |
| 51 | const MAX_DEFINITION_DEPENDENCY_STEPS: usize = 1_000_000; |
| 52 | |
| 53 | enum DefinitionDependencyTask<M: KernelMode> { |
| 54 | Enter(KId<M>), |
| 55 | Finish(KId<M>, KConst<M>), |
| 56 | } |
| 57 | |
| 58 | /// References in both the type and value, including projection heads. The |
| 59 | /// expression worklist visits shared syntax once without host-stack recursion. |
nothing calls this directly
no outgoing calls
no test coverage detected