13e11c2
Don't warn about permanently missing coverage There's always permanently missing coverage, so things like this should be done via task or a FIXME.