anchor.diff:    }).toList();
   }
   
  -List<Map<String, Object>> typeArgumentMap(List<TypeMirror> typeArguments,
  -    TypeMirror from) {
  -  return typeArguments.map((tm) {
  +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;
  
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: Set<LibraryMirror> allowedLibraries;
  
  /*
   *  FIXME include private declarations, since they are necessary for
   *        extends and satisfies
   */
  main() {
    // dart.async
  