This intention used to specify type for expression by assertion.