infer_clone/infer/documentation/issues/CHECKERS_ALLOCATES_MEMORY.md

A method annotated with @NoAllocation transitively calls new.

Example:

class C implements I {
  @NoAllocation
  void directlyAllocatingMethod() {
    new Object();
  }
}