According to the Solidity documentation:
A require-style exception is generated in the following situations:
If you call a function via a message call but it does not finish properly (i.e. it runs out of gas, has no matching function, or throws an exception itself)
Internally, Solidity performs a revert operation (instruction 0xfd) for a require-style exception and executes an invalid operation (instruction 0xfe) to throw an assert-style exception.
However in this transaction an
0xfe opcode is performed (see step 1394) which is used for assert-style exceptions.
Is the documentation incorrect or the compiler doesn't follow the documentation?