Skip to content
mir
Search
Ctrl
K
Cancel
GitHub
Auto
Dark
Light
Auto
Introduction
Playground
Guides
Getting Started
Configuration
Reference
CLI
Issues
Overview
Error codes
Docblock Annotations
Architecture
Changelog
GitHub
Auto
Dark
Light
Auto
Playground
Examples…
Type mismatch
Undefined method
Null method call
Array access
Dead code
Taint (SQL)
Generics
PHP 8.5
PHP 8.1
PHP 8.2
PHP 8.3
PHP 8.4
PHP 8.5
Loading…
Share
mir v0.45.0 · b035153
1
<?php function add(int $a, int $b): int { return $a + $b; } $result = add("not a number", 42);