The `dyncast` functions are the only ones in the frontend that use this commenting style.