[options]
all=true
experimental.pattern_matching=true
dev_only.refinement_info_as_errors=true
