It seems odd to specify no warning is issued when nothing in the implementation issues warnings...