oceani: propagate_type should return the found type, not what it was compatible with
authorNeilBrown <neil@brown.name>
Fri, 17 Dec 2021 04:20:54 +0000 (15:20 +1100)
committerNeilBrown <neil@brown.name>
Fri, 17 Dec 2021 04:20:54 +0000 (15:20 +1100)
commita90cecd0016cf35d400d6de895f1b2aa6c5ac0dd
tree641207aee7626a5cfbd7a36c0d16c6fa29a43124
parent69ba500597a59e484af0fa351bdd4d0b5fe53df4
oceani: propagate_type should return the found type, not what it was compatible with

If the type we have is different from the type expected, but they are
compatible, propagate_type() should return the type that we have.
Otherwise we lose information - which may later be useful.

Signed-off-by: NeilBrown <neil@brown.name>
csrc/oceani-tests.mdc
csrc/oceani.mdc