How exactly does modern php (not Hack or another vm) let you "start dynamic and end statically"? declare(strict_types=1); is checking and throwing type errors

How exactly does modern php (not Hack or another vm) let you "start dynamic and end statically"? declare(strict_types=1); is checking and throwing type errors at runtime, not compile time.