Commit f8b7a398 authored by Kenton Varda's avatar Kenton Varda

Adding new generic parameters over time is allowed; removing them is not.

parent bbffb4e0
......@@ -752,10 +752,16 @@ private:
VALIDATE_SCHEMA(node.which() == replacement.which(),
"kind of declaration changed");
// No need to check compatibility of the non-body parts of the node:
// No need to check compatibility of most of the non-body parts of the node:
// - Arbitrary renaming and moving between scopes is allowed.
// - Annotations are ignored for compatibility purposes.
if (replacement.getParameters().size() > node.getParameters().size()) {
replacementIsNewer();
} else if (replacement.getParameters().size() < node.getParameters().size()) {
replacementIsOlder();
}
switch (node.which()) {
case schema::Node::FILE:
verifyVoid(node.getFile());
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment