QLDoc correction

This commit is contained in:
Tony Torralba
2023-06-15 16:20:39 +02:00
parent 5e3d9d8136
commit 1b39faaded

View File

@@ -99,7 +99,7 @@ private class GenerateResponseMethod extends Method {
}
}
/** Gets the static type of `e`, or an upper bound of the runtime type of `e`. */
/** Holds if `t` is the static type of `e`, or an upper bound of the runtime type of `e`. */
private predicate boundOrStaticType(Expr e, RefType t) {
exprTypeFlow(e, t, false)
or