const propagation tests