members of `@doNotStore` tagged libraries are not reliably inheriting the annotation

[pq]

In some tests internally, the following pattern is not reliably working:

strings.dart:

@doNotStore
library strings;

import 'package:meta/meta.dart';

String get someString => 'string';

c.dart:

import 'strings.dart' as strings;

class C {
   String title(Object o) => strings.someString; //<= should show warning
}

[bwilkerson]

What is the intended semantics of applying the annotation to an entire library? According to the documentation (which might need to be updated):

The annotation can also be applied to a class to implicitly annotate all of the valid members of the class, or applied to a library to annotate all of the valid members of the library, including classes.

That implies, to me, that applying the annotation to the library implicitly applies it to the class C, which implicitly applies it to the method C.title, so it seems like it ought to be valid to return the value of the getter.

[pq]

applying the annotation to the library implicitly applies it to the class C

Sorry, I think my example wasn't clear. C is in a different library from strings. (I'll add some details.)

[pq]

Unless I'm misunderstanding the desired semantics, I'd expect to see a warning on C.title above.

[bwilkerson]

Me too, given that they're in different libraries.