Perhaps it's a way to confirm that FIFO satisfies the interface, Queue. If a maintainer changes things so that FIFO does not satisfy the interface, the compiler will prevent the program from being built and clearly describe the problem.
– cttMay 07 '19 at 01:12