No, it doesnt apply when function is not concrete in trait. If it was necessary, it would not have compiled ;)