Some professional news: After adding
use MoreResearch as _;
use MoreMentoring as _;
use MoreTeaching as _;
use MoreService as _;
the UMD trait solver has accepted the where-clause
where Rob: Professor
On this occasion, some thanks and some thoughts are in order! 1/5
