type SmartcastValue = int | string

fn main() {
	a := SmartcastValue(1)
	if a is int {
		a = 3
	}
}