Commit ae410cf6 authored by Sebastian Erdweg's avatar Sebastian Erdweg

fixed subtyping

parent d4f407b6
Pipeline #70035 passed with stage
in 2 minutes and 43 seconds