const_assume

The tracking issue for this feature is: #76972