TUEStaticAssertTypeChecker< T & >::Func