The test function conjecture for local models of Weil-restricted groups. (6th July 2020)