haxe GADT + tuple bug

Main.hx

enum E<T> {
	BoolLit(b:Bool):E<Bool>;
	IntLit(i:Int):E<Int>;
}

class Main {
	static function main() { }
	
	static function sameType<S>(o1:E<S>, o2:E<S>):Bool {
		return switch [o1, o2] { // Unmatched patterns: [_,IntLit]
			case [BoolLit(_), BoolLit(_)]: true;
			case [IntLit(_), IntLit(_)]: true;
		}
	}
}