use of later-defined nested class type in method signature causes error (#939) · Issues · pub / frama-c