The compiler does this with other “library” functions like malloc and printf. There’s no reason a compiler couldn’t convert to a built in for this new type.
The optimizer can convert a library type to a builtin type if it still behaves as specified in the standard.