<commit_before>import ceylon.language.model { Annotation }

@error annotation class NonfinalAnnotation() 
        satisfies Annotation<NonfinalAnnotation> {}
@error final annotation class GenericAnnotation<T>() 
        satisfies Annotation<GenericAnnotation<T>> {}
@error final annotation class NonemptyAnnotation() 
        satisfies Annotation<NonemptyAnnotation> { print("hello"); }

final annotation class ParameterizedAnnotation
        (int,float,char,str,bool,ann,iter,seq) 
        satisfies Annotation<ParameterizedAnnotation> {
    Integer int; Float float; Character char; String str; Boolean bool;
    ParameterizedAnnotation ann;
    {String*} iter;
    Float[] seq;
}

final annotation class BrokenParameterizedAnnotation1(@error Integer|Float num) 
        satisfies Annotation<BrokenParameterizedAnnotation1> {}
final annotation class BrokenParameterizedAnnotation2(@error Object obj) 
        satisfies Annotation<BrokenParameterizedAnnotation2> {}
final annotation class BrokenParameterizedAnnotation3(@error {String|Character*} iter) 
        satisfies Annotation<BrokenParameterizedAnnotation3> {}
final annotation class BrokenParameterizedAnnotation4(@error [Float|Integer*] seq) 
        satisfies Annotation<BrokenParameterizedAnnotation4> {}
final annotation class BrokenParameterizedAnnotation5(@error [Float,Integer] tup) 
        satisfies Annotation<BrokenParameterizedAnnotation5> {}


@error annotation GenericAnnotation<T> genericAnnotation() 
        => GenericAnnotation<T>();
@error annotation NonemptyAnnotation nonemptyAnnotation() {
    print("hello"); 
    return NonemptyAnnotation();
}

annotation ParameterizedAnnotation parameterizedAnnotation1
        (int,float,char,str,bool,ann,iter,seq) {
    Integer int; Float float; Character char; String str; Boolean bool;
    ParameterizedAnnotation ann;
    {String*} iter;
    Float[] seq;
    return ParameterizedAnnotation(int,float,char,str,bool,ann,iter,seq);
}

annotation ParameterizedAnnotation parameterizedAnnotation2
        (Integer int,
        Float float, 
        Character char, 
        String str, 
        Boolean bool,
        ParameterizedAnnotation ann,
        {String*} iter, 
        Float[]seq) => 
        ParameterizedAnnotation(int,float,char,str,bool,ann,iter,seq);
<commit_msg>add failing tests for a minor bug<commit_after>import ceylon.language.model { Annotation }

@error annotation class NonfinalAnnotation() 
        satisfies Annotation<NonfinalAnnotation> {}
@error final annotation class GenericAnnotation<T>() 
        satisfies Annotation<GenericAnnotation<T>> {}
@error final annotation class NonemptyAnnotation() 
        satisfies Annotation<NonemptyAnnotation> { 
    print("hello");
}
@error final annotation class NonemptyAnnotationBug() 
        satisfies Annotation<NonemptyAnnotationBug> { 
    String hello="hello";
}

final annotation class ParameterizedAnnotation
        (int,float,char,str,bool,ann,iter,seq) 
        satisfies Annotation<ParameterizedAnnotation> {
    Integer int; Float float; Character char; String str; Boolean bool;
    ParameterizedAnnotation ann;
    {String*} iter;
    Float[] seq;
}

final annotation class BrokenParameterizedAnnotation1(@error Integer|Float num) 
        satisfies Annotation<BrokenParameterizedAnnotation1> {}
final annotation class BrokenParameterizedAnnotation2(@error Object obj) 
        satisfies Annotation<BrokenParameterizedAnnotation2> {}
final annotation class BrokenParameterizedAnnotation3(@error {String|Character*} iter) 
        satisfies Annotation<BrokenParameterizedAnnotation3> {}
final annotation class BrokenParameterizedAnnotation4(@error [Float|Integer*] seq) 
        satisfies Annotation<BrokenParameterizedAnnotation4> {}
final annotation class BrokenParameterizedAnnotation5(@error [Float,Integer] tup) 
        satisfies Annotation<BrokenParameterizedAnnotation5> {}


@error annotation GenericAnnotation<T> genericAnnotation() 
        => GenericAnnotation<T>();
@error annotation NonemptyAnnotation nonemptyAnnotation() {
    print("hello"); 
    return NonemptyAnnotation();
}

@error annotation NonemptyAnnotationBug nonemptyAnnotationBug() {
    String hello = "hello"; 
    return NonemptyAnnotationBug();
}

annotation ParameterizedAnnotation parameterizedAnnotation1
        (int,float,char,str,bool,ann,iter,seq) {
    Integer int; Float float; Character char; String str; Boolean bool;
    ParameterizedAnnotation ann;
    {String*} iter;
    Float[] seq;
    return ParameterizedAnnotation(int,float,char,str,bool,ann,iter,seq);
}

annotation ParameterizedAnnotation parameterizedAnnotation2
        (Integer int,
        Float float, 
        Character char, 
        String str, 
        Boolean bool,
        ParameterizedAnnotation ann,
        {String*} iter, 
        Float[]seq) => 
        ParameterizedAnnotation(int,float,char,str,bool,ann,iter,seq);

{'fraction_non_alphanumeric': 0.08444080965037824, 'fraction_numerical': 0.0049069719893682275, 'mean_word_length': 4.748531139835488, 'pattern_counts': {'":': 0, '<': 30, '<?xml version=': 0, '>': 34, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3085455', 'n_tokens_mistral': 1242, 'n_tokens_neox': 1208, 'n_words': 304}