tree cce055c88d4ab820c1665b2a3272f4d52133380c
parent 70ea3756954ad3a0cfaa2bb30fa4209db1b900fc
author Christoffer Quist Adamsen <christofferqa@google.com> 1583745410 +0100
committer Christoffer Quist Adamsen <christofferqa@google.com> 1583745410 +0100

Fix missing type propagation in processMethodsNeverReturningNormally()

Change-Id: Iec3b2970ac199d253d3e999c8eff2faff7429d0a
Bug: 151043073