in src/consumers/decl_name_in_context.hack [12:24]
function decl_name_in_context(
ConsumerContext $context,
string $name,
): string {
if ($context['scopeType'] === ScopeType::CLASSISH_SCOPE) {
return $name;
}
$ns = $context['namespace'];
if ($ns === null || $ns === '') {
return $name;
}
return $ns.'\\'.$name;
}