Hello Pirmin,
In base/trace/types.h the signature of the operator==() for Subject_id is defined as follows: bool operator == (Subject_id const &other) { return id == other.id; }
Shouldnt it be? bool operator == (Subject_id const &other) const { return id == other.id; }
Most recomendations on operator overloading, I have read, recommend this.
thank you for reporting this issue. The const qualifier is indeed missing. I just added it in the following commit (to the staging branch):
https://github.com/genodelabs/genode/commit/dc838779c9b7d94e78d5a76e376b4dae...
Cheers Norman