search

TysonAndre / phan

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
Other
0 stars 0 forks source link

Idea: Add `@template-analyze-like-code-snippet` #133

Open TysonAndre opened 6 years ago

TysonAndre commented 6 years ago

E.g.

/**
 * @param array $x
 * @param int|string $y
 * @param mixed $default
 * @template-analyze-like-codesnippet {$x[$y] ?? $default}
 */
function coalesce_substitute($x, $y, $default) { return $x[$y] ?? $default; }