SI-7313 method types of implicit and non-implicit parameter sections are never equivalent