It will check following assertions **eagerly**, so that it can fail quickly, not when there is an actual call later. - The given `HandleToExchange` is valid - The traits from both sides are compatible (depends on #77 )