Hi Matt, > - in the framework, make it possible for a checker to override the > default upper bound (so Javari can specify the default to be @ReadOnly > Object), or somehow determine what it should be using the checker's > annotation relation graph (eventually) It is cool that we are thinking the same thing! - Mahmood