The following conversions are classified as explicit conversions:
Explicit conversions can occur in cast expressions (§7.6.8).
The explicit conversions are conversions that cannot be proved to always succeed, conversions that are known to possibly lose information, and conversions across domains of types sufficiently different to merit explicit notation.
The set explicit conversions includes all implicit conversions. This in particular means that redundant cast expressions are allowed.