Makes compiler assume things that may not be true
The assume template takes an alias to a funciton that casts it to a different attribute.
See Source File
Makes compiler assume things that may not be true