Add an experimental static assertion