function f()pure {
	ufixed a = uint64(1) + ufixed(2);
}
// ====
// SMTEngine: all
// ----
// Warning 2072: (20-28='ufixed a'): Unused local variable.