Test has_basic_super type trait in region_dispatcher