Confirming that the types are the same at run time is not sufficient. What matters is whether the compiler can determine the types at compile time. Have you tried using @code_warntype ?
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Intermediate value type instability | 16 | 454 | June 2, 2022 | |
| Ominous type instability | 10 | 1299 | August 20, 2022 | |
| Type stability bug in compiler? | 13 | 682 | January 27, 2023 | |
| Why Julia fails to infere types in this example? What is the cost of this? What are requirements for type inference? | 12 | 492 | May 8, 2024 | |
| Why does explicit declaration of ::INT save 40% runtime? | 17 | 610 | April 2, 2025 |