Shared: Make 'getAStrictAncestor' private.

This commit is contained in:
Mathias Vorreiter Pedersen
2024-04-05 13:04:26 +01:00
parent a2c29fe094
commit bffa262a2c

View File

@@ -255,7 +255,7 @@ module TypeFlow<LocationSig Location, TypeFlowInput<Location> I> {
* This does not include itself, unless this type is part of a cycle
* in the type hierarchy.
*/
Type getAStrictAncestor(Type sub) { result = getAnAncestor(sub.getASupertype()) }
private Type getAStrictAncestor(Type sub) { result = getAnAncestor(sub.getASupertype()) }
/**
* Holds if we have a bound for `n` that is better than `t`.