Visit coroutine kind ty in FlagComputation

This commit is contained in:
Michael Goulet 2025-03-23 16:24:39 +00:00
parent aa8f0fd716
commit e934975339

View file

@ -113,6 +113,7 @@ impl FlagComputation {
self.flags -= TypeFlags::STILL_FURTHER_SPECIALIZABLE;
}
self.add_ty(args.kind_ty());
self.add_ty(args.resume_ty());
self.add_ty(args.return_ty());
self.add_ty(args.witness());