The statement is correct to an extent. Yes, there are extra information you can give to a compiler that can enable some optimizations.

What’s not true is that just having more information automatically means better optimized.