Signature:
is_local_parameter(_decls: Program, env: Env, assumptions: Wcs, goal: Parameter,) => Constraints
The number on each rule’s conclusion is positive coverage; the number on each premise is negative coverage. Click a number to browse the tests.
local parameter
| Line | Coverage | Source |
|---|
| 291 | 6 | (prove_normalize(decls, env, assumptions, goal) => Constrained(p, c1)) |
| 292 | N/A | (let assumptions = c1.substitution().apply(assumptions)) |
| 293 | 2 | (is_local_parameter(decls, c1.env(), assumptions, p) => c2) |
| | ──────── ("local parameter") |
| 295 | 1 | (is_local_parameter(decls, env, assumptions, goal) => c1.seq(c2)) |
fundamental rigid type
| Line | Coverage | Source |
|---|
| 300 | 4 | (if is_fundamental(decls, name)) |
| 301 | ✗ | (for_all(decls, env, assumptions, parameters, &is_local_parameter) => c) |
| | ──────── ("fundamental rigid type") |
| 303 | ✗ | (is_local_parameter(decls, env, assumptions, RigidTy { name, parameters }) => c) |
local rigid type
| Line | Coverage | Source |
|---|
| 308 | 3 | (if decls.is_local_adt_id(a)) |
| | ──────── ("local rigid type") |
| 310 | 8 | (is_local_parameter(decls, env, _assumptions, RigidTy { name: RigidName::AdtId(a), parameters: _ }) => Constraints::none(env)) |
existential variable
| Line | Coverage | Source |
|---|
| | ──────── ("existential variable") |
| 316 | 1 | (is_local_parameter(_decls, env, _assumptions, TyData::Variable(Variable::ExistentialVar(_))) => Constraints::none(env).ambiguous()) |