Julia semantically doesn't have compile time type, but is free to (and almost always does) figure out the compile time type and use that information aggressivel

Julia semantically doesn't have compile time type, but is free to (and almost always does) figure out the compile time type and use that information aggressively as long as doing so doesn't change behavior.