rawAsserts resolve to actual