LogicException on operations between uint8 and byte

[HSMF]

The following program raises viper.gobra.util.Violation$LogicException: Logic error: kinds IntegerKind(uint8) and IntegerKind(byte) cannot be merged.

package main

func foo() {
	var b byte = 0
	var c uint8 = 0

	c |= b
}