hub / github.com/VKCOM/kphp / check_reifiedT_extends_hint

Function check_reifiedT_extends_hint

compiler/generics-reification.cpp:283–305 · view source on GitHub ↗

when `f ` is declared as `f `, and we have an instantiation `f ()`, check that A corresponds SomeInterface for `f `, check all conditions we check only hints that are supported in declarations, see check_declarationT_extends_hint()

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 1

check_reifiedTs_for_generic_func_callFunction · 0.85

Calls 4

does_instantiationT_fit_extends_conditionFunction · 0.85

unwrap_optionalMethod · 0.80

emptyMethod · 0.45

as_human_readableMethod · 0.45

Tested by

no test coverage detected