TUEStaticAssertTypeChecker< T && >::Func