Cover experimental pragmas and tests

nikola-matic · nikola-matic · commit 224de9fbe24d · 2025-10-20T19:48:12.000+02:00
diff --git a/libsolidity/analysis/SyntaxChecker.cpp b/libsolidity/analysis/SyntaxChecker.cpp
@@ -83,6 +83,12 @@ bool SyntaxChecker::visit(PragmaDirective const& _pragma)
 	else if (_pragma.literals()[0] == "experimental")
 	{
 		solAssert(m_sourceUnit, "");
+		if (!m_experimental)
+			m_errorReporter.syntaxError(
+				2816_error,
+				_pragma.location(),
+				"Experimental pragmas can only be used if the experimental mode has been enabled."
+			);
 		std::vector<std::string> literals(_pragma.literals().begin() + 1, _pragma.literals().end());
 		if (literals.empty())
 			m_errorReporter.syntaxError(
diff --git a/libsolidity/analysis/SyntaxChecker.h b/libsolidity/analysis/SyntaxChecker.h
@@ -45,9 +45,12 @@ class SyntaxChecker: private ASTConstVisitor
 {
 public:
 	/// @param _errorReporter provides the error logging functionality.
-	SyntaxChecker(langutil::ErrorReporter& _errorReporter, bool _useYulOptimizer):
+	/// @param _useYulOptimizer indicates whether Yul optimizer is enabled.
+	/// @param _experimental indicates whether the experimental toggle (option) is enabled.
+	SyntaxChecker(langutil::ErrorReporter& _errorReporter, bool _useYulOptimizer, bool _experimental):
 		m_errorReporter(_errorReporter),
-		m_useYulOptimizer(_useYulOptimizer)
+		m_useYulOptimizer(_useYulOptimizer),
+		m_experimental(_experimental)
 	{}
 
 	bool checkSyntax(ASTNode const& _astRoot);
@@ -112,6 +115,9 @@ class SyntaxChecker: private ASTConstVisitor
 	/// Flag that indicates whether we are inside an unchecked block.
 	bool m_uncheckedArithmetic = false;
 
+	/// Flag that indicates whether experimental mode is toggled.
+	bool m_experimental = false;
+
 	int m_inLoopDepth = 0;
 	std::optional<ContractKind> m_currentContractKind;
 
diff --git a/libsolidity/interface/CompilerStack.cpp b/libsolidity/interface/CompilerStack.cpp
@@ -473,7 +473,7 @@ bool CompilerStack::analyze()
 	{
 		bool experimentalSolidity = isExperimentalSolidity();
 
-		SyntaxChecker syntaxChecker(m_errorReporter, m_optimiserSettings.runYulOptimiser);
+		SyntaxChecker syntaxChecker(m_errorReporter, m_optimiserSettings.runYulOptimiser, m_experimental);
 		for (Source const* source: m_sourceOrder)
 			if (source->ast && !syntaxChecker.checkSyntax(*source->ast))
 				noErrors = false;
diff --git a/test/libsolidity/Assembly.cpp b/test/libsolidity/Assembly.cpp
@@ -66,7 +66,7 @@ evmasm::AssemblyItems compileContract(std::shared_ptr<CharStream> _sourceCode)
 	BOOST_CHECK(!!sourceUnit);
 
 	Scoper::assignScopes(*sourceUnit);
-	BOOST_REQUIRE(SyntaxChecker(errorReporter, false).checkSyntax(*sourceUnit));
+	BOOST_REQUIRE(SyntaxChecker(errorReporter, false, false).checkSyntax(*sourceUnit));
 	GlobalContext globalContext(solidity::test::CommonOptions::get().evmVersion());
 	NameAndTypeResolver resolver(globalContext, solidity::test::CommonOptions::get().evmVersion(), errorReporter, false);
 	DeclarationTypeChecker declarationTypeChecker(errorReporter, solidity::test::CommonOptions::get().evmVersion());
diff --git a/test/libsolidity/FunctionDependencyGraphTest.cpp b/test/libsolidity/FunctionDependencyGraphTest.cpp
@@ -42,6 +42,8 @@ TestCase::TestResult FunctionDependencyGraphTest::run(std::ostream& _stream, std
 	compiler().setSources(StringMap{{"", m_source}});
 	compiler().setViaIR(true);
 	compiler().setOptimiserSettings(OptimiserSettings::none());
+	// Experimental on by default as this is an extension of the initial experimental Solidity
+	compiler().setExperimental(true);
 	if (!compiler().compile(CompilerStack::AnalysisSuccessful))
 	{
 		printPrefixed(_stream, formatErrors(filteredErrors(), _formatted), _linePrefix);
diff --git a/test/libsolidity/FunctionDependencyGraphTest.h b/test/libsolidity/FunctionDependencyGraphTest.h
@@ -24,8 +24,6 @@
 
 #include <iosfwd>
 #include <string>
-#include <vector>
-#include <utility>
 
 namespace solidity::frontend::test
 {
diff --git a/test/libsolidity/Metadata.cpp b/test/libsolidity/Metadata.cpp
@@ -104,6 +104,7 @@ BOOST_AUTO_TEST_CASE(metadata_stamp)
 			compilerStack.setEVMVersion(solidity::test::CommonOptions::get().evmVersion());
 			compilerStack.setOptimiserSettings(solidity::test::CommonOptions::get().optimize);
 			compilerStack.setMetadataHash(metadataHash);
+			compilerStack.setExperimental(true); // Experimental pragma requires it
 			BOOST_REQUIRE_MESSAGE(compilerStack.compile(), "Compiling contract failed");
 			bytes const& bytecode = compilerStack.runtimeObject("test").bytecode;
 			std::string const& metadata = compilerStack.metadata("test");
@@ -177,6 +178,7 @@ BOOST_AUTO_TEST_CASE(metadata_stamp_experimental)
 			compilerStack.setEVMVersion(solidity::test::CommonOptions::get().evmVersion());
 			compilerStack.setOptimiserSettings(solidity::test::CommonOptions::get().optimize);
 			compilerStack.setMetadataHash(metadataHash);
+			compilerStack.setExperimental(true); // Experimental pragma requires it
 			BOOST_REQUIRE_MESSAGE(compilerStack.compile(), "Compiling contract failed");
 			bytes const& bytecode = compilerStack.runtimeObject("test").bytecode;
 			std::string const& metadata = compilerStack.metadata("test");
diff --git a/test/libsolidity/SemanticTest.cpp b/test/libsolidity/SemanticTest.cpp
@@ -112,6 +112,7 @@ SemanticTest::SemanticTest(
 	m_revertStrings = revertStrings.value();
 
 	m_allowNonExistingFunctions = m_reader.boolSetting("allowNonExistingFunctions", false);
+	m_compiler.setExperimental(m_reader.boolSetting("experimental", false));
 
 	parseExpectations(m_reader.stream());
 	soltestAssert(!m_tests.empty(), "No tests specified in " + _filename);
diff --git a/test/libsolidity/SolidityExpressionCompiler.cpp b/test/libsolidity/SolidityExpressionCompiler.cpp
@@ -126,7 +126,7 @@ bytes compileFirstExpression(
 	ErrorReporter errorReporter(errors);
 	GlobalContext globalContext(solidity::test::CommonOptions::get().evmVersion());
 	Scoper::assignScopes(*sourceUnit);
-	BOOST_REQUIRE(SyntaxChecker(errorReporter, false).checkSyntax(*sourceUnit));
+	BOOST_REQUIRE(SyntaxChecker(errorReporter, false, false).checkSyntax(*sourceUnit));
 	NameAndTypeResolver resolver(globalContext, solidity::test::CommonOptions::get().evmVersion(), errorReporter, false);
 	resolver.registerDeclarations(*sourceUnit);
 	BOOST_REQUIRE_MESSAGE(resolver.resolveNamesAndTypes(*sourceUnit), "Resolving names failed");
diff --git a/test/libsolidity/SyntaxTest.cpp b/test/libsolidity/SyntaxTest.cpp
@@ -51,13 +51,14 @@ SyntaxTest::SyntaxTest(
 	auto const eofEnabled = solidity::test::CommonOptions::get().eofVersion().has_value();
 
 	m_compileViaYul = m_reader.stringSetting("compileViaYul", eofEnabled ? "true" : "false");
-	if (!util::contains(compileViaYulAllowedValues, m_compileViaYul))
+	if (!compileViaYulAllowedValues.contains(m_compileViaYul))
 		BOOST_THROW_EXCEPTION(std::runtime_error("Invalid compileViaYul value: " + m_compileViaYul + "."));
 
 	if (m_compileViaYul == "false" && eofEnabled)
 		m_shouldRun = false;
 
 	m_optimiseYul = m_reader.boolSetting("optimize-yul", true);
+	m_experimental = m_reader.boolSetting("experimental", false);
 
 	static std::map<std::string, PipelineStage> const pipelineStages = {
 		{"parsing", PipelineStage::Parsing},
@@ -81,6 +82,7 @@ void SyntaxTest::setupCompiler(CompilerStack& _compiler)
 		OptimiserSettings::minimal()
 	);
 	_compiler.setViaIR(m_compileViaYul == "true");
+	_compiler.setExperimental(m_experimental);
 	_compiler.setMetadataFormat(CompilerStack::MetadataFormat::NoMetadata);
 	_compiler.setMetadataHash(CompilerStack::MetadataHash::None);
 }
diff --git a/test/libsolidity/SyntaxTest.h b/test/libsolidity/SyntaxTest.h
@@ -53,6 +53,7 @@ class SyntaxTest: public AnalysisFramework, public solidity::test::CommonSyntaxT
 	virtual void filterObtainedErrors();
 
 	bool m_optimiseYul{};
+	bool m_experimental{false};
 	std::string m_compileViaYul{};
 	langutil::Error::Severity m_minSeverity{};
 	PipelineStage m_stopAfter;
diff --git a/test/libsolidity/semanticTests/experimental/stub.sol b/test/libsolidity/semanticTests/experimental/stub.sol
@@ -89,6 +89,7 @@ contract C {
     }
 }
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // ====
 // compileViaYul: true
diff --git a/test/libsolidity/semanticTests/experimental/type_class.sol b/test/libsolidity/semanticTests/experimental/type_class.sol
@@ -61,6 +61,7 @@ contract C {
 }
 
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // compileViaYul: true
 // bytecodeFormat: legacy
diff --git a/test/libsolidity/smtCheckerTests/options/pragma.sol b/test/libsolidity/smtCheckerTests/options/pragma.sol
@@ -4,6 +4,8 @@ contract C {
         assert(x > 0);
     }
 }
+// ====
+// experimental: true
 // ----
 // Warning 5523: (0-31): The SMTChecker pragma has been deprecated and will be removed in the future. Please use the "model checker engine" compiler setting to activate the SMTChecker instead. If the pragma is enabled, all engines will be used.
 // Warning 6328: (90-103): CHC: Assertion violation happens here.\nCounterexample:\n\nx = 0\n\nTransaction trace:\nC.constructor()\nC.f(0)
diff --git a/test/libsolidity/smtCheckerTests/types/struct/struct_constructor_fixed_bytes_from_string_1.sol b/test/libsolidity/smtCheckerTests/types/struct/struct_constructor_fixed_bytes_from_string_1.sol
@@ -9,6 +9,8 @@ contract C {
     assert(S({a:2, b:""}).a == 0); // should fail
   }
 }
+// ====
+// experimental: true
 // ----
 // Warning 5523: (0-31): The SMTChecker pragma has been deprecated and will be removed in the future. Please use the "model checker engine" compiler setting to activate the SMTChecker instead. If the pragma is enabled, all engines will be used.
 // Warning 6328: (178-207): CHC: Assertion violation happens here.
diff --git a/test/libsolidity/syntaxTests/abiEncoder/conflicting_settings_reverse.sol b/test/libsolidity/syntaxTests/abiEncoder/conflicting_settings_reverse.sol
@@ -1,4 +1,6 @@
 pragma abicoder v1;
 pragma abicoder v2;
+// ====
+// experimental: true
 // ----
 // SyntaxError 3845: (20-39): ABI coder has already been selected for this source unit.
diff --git a/test/libsolidity/syntaxTests/abiEncoder/conflicting_settings_reverse_experimental.sol b/test/libsolidity/syntaxTests/abiEncoder/conflicting_settings_reverse_experimental.sol
@@ -1,4 +1,6 @@
 pragma abicoder v1;
 pragma experimental ABIEncoderV2;
+// ====
+// experimental: true
 // ----
 // SyntaxError 8273: (20-53): ABI coder v1 has already been selected through "pragma abicoder v1".
diff --git a/test/libsolidity/syntaxTests/abiEncoder/same_setting_twice.sol b/test/libsolidity/syntaxTests/abiEncoder/same_setting_twice.sol
@@ -1,4 +1,6 @@
 pragma experimental ABIEncoderV2;
 pragma abicoder v2;
+// ====
+// experimental: true
 // ----
 // SyntaxError 3845: (34-53): ABI coder has already been selected for this source unit.
diff --git a/test/libsolidity/syntaxTests/abiEncoder/selected_twice_v2.sol b/test/libsolidity/syntaxTests/abiEncoder/selected_twice_v2.sol
@@ -1,3 +1,5 @@
 pragma abicoder v2;
 pragma experimental ABIEncoderV2;
+// ====
+// experimental: true
 // ----
diff --git a/test/libsolidity/syntaxTests/experimental/builtin/builtin_type_definition.sol b/test/libsolidity/syntaxTests/experimental/builtin/builtin_type_definition.sol
@@ -30,6 +30,7 @@ contract C {
     }
 }
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // compileViaYul: true
 // bytecodeFormat: legacy
diff --git a/test/libsolidity/syntaxTests/experimental/builtin/builtin_type_definition_duplicate.sol b/test/libsolidity/syntaxTests/experimental/builtin/builtin_type_definition_duplicate.sol
@@ -9,6 +9,7 @@ type word2 = __builtin("word");
 type fun1(T, U) = __builtin("fun");
 type fun2(T, U) = __builtin("fun");
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // ----
 // Warning 2264: (0-29): Experimental features are turned on. Do not use experimental features on live deployments.
diff --git a/test/libsolidity/syntaxTests/experimental/builtin/builtin_type_definition_unknown.sol b/test/libsolidity/syntaxTests/experimental/builtin/builtin_type_definition_unknown.sol
@@ -2,6 +2,7 @@ pragma experimental solidity;
 
 type someUnknownType = __builtin("someUnknownType");
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // ----
 // Warning 2264: (0-29): Experimental features are turned on. Do not use experimental features on live deployments.
diff --git a/test/libsolidity/syntaxTests/experimental/forall/undeclared_type_variable_in_function.sol b/test/libsolidity/syntaxTests/experimental/forall/undeclared_type_variable_in_function.sol
@@ -7,6 +7,7 @@ function f(p: P, q: T(Q)) {
     let s: S;
 }
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // ----
 // Warning 2264: (0-29): Experimental features are turned on. Do not use experimental features on live deployments.
diff --git a/test/libsolidity/syntaxTests/experimental/forall/undeclared_type_variable_in_quantified_function.sol b/test/libsolidity/syntaxTests/experimental/forall/undeclared_type_variable_in_quantified_function.sol
@@ -5,6 +5,7 @@ function f(b: B) {
     let c: C;
 }
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // ----
 // Warning 2264: (0-29): Experimental features are turned on. Do not use experimental features on live deployments.
diff --git a/test/libsolidity/syntaxTests/experimental/forall/undeclared_type_variable_in_type_class.sol b/test/libsolidity/syntaxTests/experimental/forall/undeclared_type_variable_in_type_class.sol
@@ -10,6 +10,7 @@ instantiation T(Y): C {
     function f(self: T(Z)) {}
 }
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // ----
 // Warning 2264: (0-29): Experimental features are turned on. Do not use experimental features on live deployments.
diff --git a/test/libsolidity/syntaxTests/experimental/import/experimental_solidity.sol b/test/libsolidity/syntaxTests/experimental/import/experimental_solidity.sol
@@ -1,5 +1,6 @@
 pragma experimental solidity;
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // compileViaYul: true
 // ----
diff --git a/test/libsolidity/syntaxTests/experimental/import/experimental_solidity_multisource_not_all_enable.sol b/test/libsolidity/syntaxTests/experimental/import/experimental_solidity_multisource_not_all_enable.sol
@@ -19,6 +19,7 @@ contract D {
     A a;
 }
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // ----
 // ParserError 2141: (B.sol:0-29): File declares "pragma experimental solidity". If you want to enable the experimental mode, all source units must include the pragma.
diff --git a/test/libsolidity/syntaxTests/experimental/import/experimental_solidity_out_of_order_1.sol b/test/libsolidity/syntaxTests/experimental/import/experimental_solidity_out_of_order_1.sol
@@ -2,6 +2,7 @@ contract A {}
 
 pragma experimental solidity;
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // ----
 // ParserError 8185: (45-45): Experimental pragma "solidity" can only be set at the beginning of the source unit.
diff --git a/test/libsolidity/syntaxTests/experimental/import/experimental_solidity_out_of_order_2.sol b/test/libsolidity/syntaxTests/experimental/import/experimental_solidity_out_of_order_2.sol
@@ -10,6 +10,7 @@ struct A
     uint256 x;
 }
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // ----
 // ParserError 8185: (83-89): Experimental pragma "solidity" can only be set at the beginning of the source unit.
diff --git a/test/libsolidity/syntaxTests/experimental/import/experimental_solidity_wrong_evm_version.sol b/test/libsolidity/syntaxTests/experimental/import/experimental_solidity_wrong_evm_version.sol
@@ -3,6 +3,7 @@ pragma experimental solidity;
 contract C {}
 
 // ====
+// experimental: true
 // EVMVersion: <constantinople
 // ----
 // ParserError 7637: (31-39): Experimental solidity requires Constantinople EVM version at the minimum.
diff --git a/test/libsolidity/syntaxTests/experimental/import/parsing_stdlib_import_1.sol b/test/libsolidity/syntaxTests/experimental/import/parsing_stdlib_import_1.sol
@@ -2,6 +2,7 @@ pragma experimental solidity;
 
 import std.stub;
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // compileViaYul: true
 // ----
diff --git a/test/libsolidity/syntaxTests/experimental/import/parsing_stdlib_import_2.sol b/test/libsolidity/syntaxTests/experimental/import/parsing_stdlib_import_2.sol
@@ -2,6 +2,7 @@ pragma experimental solidity;
 
 import std.stub as stub;
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // compileViaYul: true
 // ----
diff --git a/test/libsolidity/syntaxTests/experimental/import/parsing_stdlib_import_3.sol b/test/libsolidity/syntaxTests/experimental/import/parsing_stdlib_import_3.sol
@@ -2,6 +2,7 @@ pragma experimental solidity;
 
 import { identity } from std.stub;
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // compileViaYul: true
 // ----
diff --git a/test/libsolidity/syntaxTests/experimental/import/parsing_stdlib_import_4.sol b/test/libsolidity/syntaxTests/experimental/import/parsing_stdlib_import_4.sol
@@ -2,6 +2,7 @@ pragma experimental solidity;
 
 import * as stub from std.stub;
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // compileViaYul: true
 // ----
diff --git a/test/libsolidity/syntaxTests/experimental/inference/import_and_call_stdlib_function.sol b/test/libsolidity/syntaxTests/experimental/inference/import_and_call_stdlib_function.sol
@@ -11,6 +11,7 @@ contract C
 }
 
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // compileViaYul: true
 // bytecodeFormat: legacy
diff --git a/test/libsolidity/syntaxTests/experimental/inference/instantiation_invalid_type_constructor.sol b/test/libsolidity/syntaxTests/experimental/inference/instantiation_invalid_type_constructor.sol
@@ -6,6 +6,7 @@ function f() {}
 
 instantiation f: C {}
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // compileViaYul: true
 // ----
diff --git a/test/libsolidity/syntaxTests/experimental/inference/instantiation_member_type_does_not_match_declaration.sol b/test/libsolidity/syntaxTests/experimental/inference/instantiation_member_type_does_not_match_declaration.sol
@@ -11,6 +11,7 @@ instantiation T: C {
     function f(self: U) {}
 }
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // compileViaYul: true
 // ----
diff --git a/test/libsolidity/syntaxTests/experimental/inference/instantiation_not_for_class.sol b/test/libsolidity/syntaxTests/experimental/inference/instantiation_not_for_class.sol
@@ -5,6 +5,7 @@ type U;
 
 instantiation T: U {}
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // compileViaYul: true
 // ----
diff --git a/test/libsolidity/syntaxTests/experimental/inference/invalid_type_referenced.sol b/test/libsolidity/syntaxTests/experimental/inference/invalid_type_referenced.sol
@@ -7,6 +7,7 @@ class Self: C
     function g(self: Self, x: f);
 }
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // ----
 // Warning 2264: (0-29): Experimental features are turned on. Do not use experimental features on live deployments.
diff --git a/test/libsolidity/syntaxTests/experimental/inference/monomorphic_function_call_type_mismatch.sol b/test/libsolidity/syntaxTests/experimental/inference/monomorphic_function_call_type_mismatch.sol
@@ -9,6 +9,7 @@ function run(a: U, b: T) {
     f(a, b);
 }
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // ----
 // Warning 2264: (0-29): Experimental features are turned on. Do not use experimental features on live deployments.
diff --git a/test/libsolidity/syntaxTests/experimental/inference/polymorphic_function_call.sol b/test/libsolidity/syntaxTests/experimental/inference/polymorphic_function_call.sol
@@ -11,6 +11,7 @@ function run(a: T, b: U(T), c: U(U(T))) {
     f(b, b, c);
 }
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // compileViaYul: true
 // ----
diff --git a/test/libsolidity/syntaxTests/experimental/inference/polymorphic_function_call_let_polymorphism.sol b/test/libsolidity/syntaxTests/experimental/inference/polymorphic_function_call_let_polymorphism.sol
@@ -13,6 +13,7 @@ function run(a: T, b: U) {
     g(b);
 }
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // ----
 // Warning 2264: (0-29): Experimental features are turned on. Do not use experimental features on live deployments.
diff --git a/test/libsolidity/syntaxTests/experimental/inference/polymorphic_function_call_type_mismatch.sol b/test/libsolidity/syntaxTests/experimental/inference/polymorphic_function_call_type_mismatch.sol
@@ -10,6 +10,7 @@ function run(a: T(V)) {
     f(a);
 }
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // ----
 // Warning 2264: (0-29): Experimental features are turned on. Do not use experimental features on live deployments.
diff --git a/test/libsolidity/syntaxTests/experimental/inference/polymorphic_type.sol b/test/libsolidity/syntaxTests/experimental/inference/polymorphic_type.sol
@@ -13,6 +13,7 @@ function run() {
     let y: T(V, Y, Z: D);
 }
 // ====
+// experimental: true
 // EVMVersion: >=constantinople
 // compileViaYul: true
 // ----
diff --git a/test/libsolidity/syntaxTests/experimental/inference/polymorphic_type_abs_and_rep.sol b/test/libsolidity/syntaxTests/experimental/inference/polymorphic_type_abs_and_rep.sol
diff --git a/test/libsolidity/syntaxTests/experimental/inference/polymorphic_type_instantiation_and_operators.sol b/test/libsolidity/syntaxTests/experimental/inference/polymorphic_type_instantiation_and_operators.sol
diff --git a/test/libsolidity/syntaxTests/experimental/inference/type_variable_multi_use_function_parameter_and_return.sol b/test/libsolidity/syntaxTests/experimental/inference/type_variable_multi_use_function_parameter_and_return.sol
diff --git a/test/libsolidity/syntaxTests/experimental/inference/type_variable_multi_use_function_parameters.sol b/test/libsolidity/syntaxTests/experimental/inference/type_variable_multi_use_function_parameters.sol
diff --git a/test/libsolidity/syntaxTests/experimental/parsing/forall_free_function.sol b/test/libsolidity/syntaxTests/experimental/parsing/forall_free_function.sol
diff --git a/test/libsolidity/syntaxTests/experimental/parsing/forall_free_function_no_type_var.sol b/test/libsolidity/syntaxTests/experimental/parsing/forall_free_function_no_type_var.sol
diff --git a/test/libsolidity/syntaxTests/experimental/parsing/forall_free_function_with_sorts.sol b/test/libsolidity/syntaxTests/experimental/parsing/forall_free_function_with_sorts.sol
diff --git a/test/libsolidity/syntaxTests/experimental/parsing/forall_type_class.sol b/test/libsolidity/syntaxTests/experimental/parsing/forall_type_class.sol
diff --git a/test/libsolidity/syntaxTests/experimental/parsing/forall_type_class_instantiation.sol b/test/libsolidity/syntaxTests/experimental/parsing/forall_type_class_instantiation.sol
diff --git a/test/libsolidity/syntaxTests/pragma/experimental_empty_string_literal.sol b/test/libsolidity/syntaxTests/pragma/experimental_empty_string_literal.sol
diff --git a/test/libsolidity/syntaxTests/pragma/experimental_multiple_experimental.sol b/test/libsolidity/syntaxTests/pragma/experimental_multiple_experimental.sol
diff --git a/test/libsolidity/syntaxTests/pragma/experimental_multiple_same_line.sol b/test/libsolidity/syntaxTests/pragma/experimental_multiple_same_line.sol
diff --git a/test/libsolidity/syntaxTests/pragma/experimental_pragma_duplicate.sol b/test/libsolidity/syntaxTests/pragma/experimental_pragma_duplicate.sol
diff --git a/test/libsolidity/syntaxTests/pragma/experimental_pragma_empty.sol b/test/libsolidity/syntaxTests/pragma/experimental_pragma_empty.sol
diff --git a/test/libsolidity/syntaxTests/pragma/experimental_pragma_unknown_string_literal.sol b/test/libsolidity/syntaxTests/pragma/experimental_pragma_unknown_string_literal.sol
diff --git a/test/libsolidity/syntaxTests/pragma/experimental_pragma_without_experimental_mode.sol b/test/libsolidity/syntaxTests/pragma/experimental_pragma_without_experimental_mode.sol
diff --git a/test/libsolidity/syntaxTests/pragma/experimental_test_warning.sol b/test/libsolidity/syntaxTests/pragma/experimental_test_warning.sol
diff --git a/test/libsolidity/syntaxTests/pragma/experimental_unknown_number_literal.sol b/test/libsolidity/syntaxTests/pragma/experimental_unknown_number_literal.sol
diff --git a/test/libsolidity/syntaxTests/pragma/experimental_unknown_quoted_string_literal.sol b/test/libsolidity/syntaxTests/pragma/experimental_unknown_quoted_string_literal.sol

Original file line number	Diff line number	Diff line change
`@@ -473,7 +473,7 @@ bool CompilerStack::analyze()`
`473`	`473`	`{`
`474`	`474`	`bool experimentalSolidity = isExperimentalSolidity();`
`475`	`475`
`476`		`- SyntaxChecker syntaxChecker(m_errorReporter, m_optimiserSettings.runYulOptimiser);`
	`476`	`+ SyntaxChecker syntaxChecker(m_errorReporter, m_optimiserSettings.runYulOptimiser, m_experimental);`
`477`	`477`	`for (Source const* source: m_sourceOrder)`
`478`	`478`	`if (source->ast && !syntaxChecker.checkSyntax(*source->ast))`
`479`	`479`	`noErrors = false;`
Original file line number	Diff line number	Diff line change
`@@ -42,6 +42,8 @@ TestCase::TestResult FunctionDependencyGraphTest::run(std::ostream& _stream, std`
`42`	`42`	`compiler().setSources(StringMap{{"", m_source}});`
`43`	`43`	`compiler().setViaIR(true);`
`44`	`44`	`compiler().setOptimiserSettings(OptimiserSettings::none());`
	`45`	`+ // Experimental on by default as this is an extension of the initial experimental Solidity`
	`46`	`+ compiler().setExperimental(true);`
`45`	`47`	`if (!compiler().compile(CompilerStack::AnalysisSuccessful))`
`46`	`48`	`{`
`47`	`49`	`printPrefixed(_stream, formatErrors(filteredErrors(), _formatted), _linePrefix);`
Original file line number	Diff line number	Diff line change
`@@ -24,8 +24,6 @@`
`24`	`24`
`25`	`25`	`#include <iosfwd>`
`26`	`26`	`#include <string>`
`27`		`-#include <vector>`
`28`		`-#include <utility>`
`29`	`27`
`30`	`28`	`namespace solidity::frontend::test`
`31`	`29`	`{`