"... at compile time, yielding an expression of type ..."