anchor.diff:  Set<LibraryMirror> allowedLibraries;
   
   /*
  - *  FIXME
  - *    - include private declarations, since they are necessary for
  - *      extends and satisfies
  - *
  - *    - for Ceylon classes, include type arguments when satisfying the
  - *      corresponding Ceylon interface
  + *  FIXME include private declarations, since they are necessary for
  + *        extends and satisfies
    */
   main() {
     // dart.async
  
positive.code:     };
    }
  
    // satisfy the corresponding Ceylon interface
    map[keySatisfies] = [typeToMap(cm, from)];
  
    // print("satisfies (c): " + map[keySatisfies].toString());
    // print("extends   (c): " + map["super"].toString());
  
negative.code:   }).toList();
  }
  
  List<Map<String, Object>> typeArgumentMap(
      Iterable<DeclarationMirror> typeArguments, TypeMirror from) {
    return typeArguments.where((tm) => tm is TypeMirror).map((tm) {
      var map = typeToMap(tm, from, false, false); // keyModule, keyName
      map[keyMetatype] = metatypeTypeParameter;
      return map;
  