This is probably due to a bug in the rewrite of ssreflect 1.6 which has been fixed in ssreflect master.