fix logic for proposing type args or no for #835