give self-type assertions a mention