class Savi::Compiler::SubtypingCache::ForReifiedFunc
- Savi::Compiler::SubtypingCache::ForReifiedFunc
- Reference
- Object
Defined in:
savi/compiler/subtyping_cache.crConstructors
Instance Method Summary
-
#ignores_layer?(ctx, layer_index : Int32)
Returns true if the specified type context layer has some conditions that we do not satisfy in our current reification of this function.
Constructor Detail
Instance Method Detail
def ignores_layer?(ctx, layer_index : Int32)
#
Returns true if the specified type context layer has some conditions that we do not satisfy in our current reification of this function. In such a case, we will ignore that layer and not do typechecking on it, because doing so would run into unsatisfiable combinations of types.