class Savi::Compiler::SubtypingCache::ForReifiedFunc

Defined in:

savi/compiler/subtyping_cache.cr

Constructors

Instance Method Summary

Constructor Detail

def self.new(this : ReifiedFunction) #

[View source]

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.


[View source]