constructor overloading resolution with templates causes dubious "contract merge" warning (#885) · Issues · pub / frama-c