[thread-safety] better error message for unannotated interfaces
[thread-safety] better error message for unannotated interfaces

Reviewed By: jberdine

Differential Revision: D6028478

fbshipit-source-id: d09f6f7

jvillard/infer,facebook/infer,facebook/infer,jvillard/infer,facebook/infer,jvillard/infer,jvillard/infer,jvillard/infer,jvillard/infer,facebook/infer,jvillard/infer,facebook/infer,facebook/infer,facebook/infer