Infinite loop in the solver

[simolus3]

This was found by @jeroen-meijer. I'm on Dart SDK version: 2.13.4 (stable), but this also happens on 2.14.0-341.0.dev.

name: flutter_pub_get_loop_example
description: Dependencies go brrrrrrrrrrrrt
version: 0.0.1

environment:
  sdk: ">=2.12.0 <3.0.0"

dependencies:
  freezed_annotation: ^0.12.0

dev_dependencies:
  build_runner:
  freezed:
  mocktail: ^0.1.3

The solver quickly goes into this loop from which it doesn't recover:

SLVR:                                                                                         conflict: freezed ^0.13.0-nullsafety.0 depends on freezed_annotation >=0.13.0-nullsafety.0 <2.0.0
SLVR:                                                                                         ! freezed ^0.13.0-nullsafety.0 is partially satisfied by not freezed <0.13.0-nullsafety.0
SLVR:                                                                                         ! which is caused by "freezed <0.13.0-nullsafety.0 depends on build >=0.12.6 <2.0.0"
SLVR:                                                                                         ! thus: freezed <0.14.0 requires freezed_annotation >=0.13.0-nullsafety.0 <2.0.0 or build >=0.12.6 <2.0.0
SLVR:                                                                                         ! freezed <0.14.0 is partially satisfied by not freezed <0.13.0-nullsafety.0
SLVR:                                                                                         ! which is caused by "freezed <0.13.0-nullsafety.0 depends on build >=0.12.6 <2.0.0"
SLVR:                                                                                         ! thus: freezed <0.14.0 requires freezed_annotation >=0.13.0-nullsafety.0 <2.0.0 or build >=0.12.6 <2.0.0
SLVR:                                                                                         ! freezed <0.14.0 is partially satisfied by not freezed <0.13.0-nullsafety.0
SLVR:                                                                                         ! which is caused by "freezed <0.13.0-nullsafety.0 depends on build >=0.12.6 <2.0.0"
SLVR:                                                                                         ! thus: freezed <0.14.0 requires freezed_annotation >=0.13.0-nullsafety.0 <2.0.0 or build >=0.12.6 <2.0.0
SLVR:                                                                                         ! freezed <0.14.0 is partially satisfied by not freezed <0.13.0-nullsafety.0
SLVR:                                                                                         ! which is caused by "freezed <0.13.0-nullsafety.0 depends on build >=0.12.6 <2.0.0"
SLVR:                                                                                         ! thus: freezed <0.14.0 requires freezed_annotation >=0.13.0-nullsafety.0 <2.0.0 or build >=0.12.6

First 500 resolver logs: start.txt. This may be related to #2258?

[jeroen-meijer]

Thanks for creating the issue @simolus3!

Might be useful to note that removing the mocktail version constraint (so it becomes mocktail: ) or removing that line altogether fixes the issue.

[sigurdm]

Nice finding! I can reproduce. Here is the debug output from the solver:

sigurdm@sigurdm-macbookpro2 ~/p/blah (main) [SIGINT|SIGINT]> pub get -v 2>&1 | grep SLVR
SLVR: fact: flutter_pub_get_loop_example is 0.0.1
SLVR: derived: flutter_pub_get_loop_example
SLVR: fact: flutter_pub_get_loop_example depends on freezed_annotation ^0.12.0
SLVR: fact: flutter_pub_get_loop_example depends on build_runner any
SLVR: fact: flutter_pub_get_loop_example depends on freezed any
SLVR: fact: flutter_pub_get_loop_example depends on mocktail ^0.1.3
SLVR:   selecting flutter_pub_get_loop_example
SLVR:   derived: mocktail ^0.1.3
SLVR:   derived: freezed any
SLVR:   derived: build_runner any
SLVR:   derived: freezed_annotation ^0.12.0
SLVR:   fact: freezed_annotation >=0.3.1 <0.13.0-nullsafety.0 depends on collection ^1.14.0
SLVR:   fact: freezed_annotation <0.13.0-nullsafety.0 depends on json_annotation ^3.0.0
SLVR:   fact: freezed_annotation >=0.4.0 <0.13.0-nullsafety.0 depends on meta ^1.1.0
SLVR:     selecting freezed_annotation 0.12.0
SLVR:     derived: meta ^1.1.0
SLVR:     derived: json_annotation ^3.0.0
SLVR:     derived: collection ^1.14.0
SLVR:     fact: mocktail >=0.0.2-dev.0 depends on collection ^1.15.0
SLVR:     fact: mocktail >=0.0.1-dev.11 depends on matcher ^0.12.10
SLVR:     fact: mocktail >=0.1.0 depends on test ^1.16.0
SLVR:       selecting mocktail 0.1.4
SLVR:       derived: test ^1.16.0
SLVR:       derived: matcher ^0.12.10
SLVR:       derived: collection ^1.15.0
SLVR:         selecting collection 1.15.0
SLVR:         fact: matcher >=0.12.10 depends on stack_trace ^1.10.0
SLVR:           selecting matcher 0.12.10
SLVR:           derived: stack_trace ^1.10.0
SLVR:           fact: stack_trace >=1.10.0 depends on path ^1.8.0
SLVR:             selecting stack_trace 1.10.0
SLVR:             derived: path ^1.8.0
SLVR:               selecting path 1.8.0
SLVR:                 selecting json_annotation 3.1.1
SLVR:                 fact: test >=1.17.10 depends on analyzer >=1.0.0 <3.0.0
SLVR:                 fact: test >=1.16.0-nullsafety.19 depends on async ^2.5.0
SLVR:                 fact: test >=1.16.0-nullsafety.19 depends on boolean_selector ^2.1.0
SLVR:                 fact: test >=1.16.6 depends on collection ^1.15.0
SLVR:                 fact: test >=1.16.6 depends on coverage ^1.0.1
SLVR:                 fact: test >=1.16.6 depends on http_multi_server ^3.0.0
SLVR:                 fact: test >=1.16.6 depends on io ^1.0.0
SLVR:                 fact: test >=1.16.0 depends on js ^0.6.3
SLVR:                 fact: test >=1.16.6 depends on node_preamble ^2.0.0
SLVR:                 fact: test >=1.16.6 depends on package_config ^2.0.0
SLVR:                 fact: test >=1.16.0-nullsafety.19 depends on path ^1.8.0
SLVR:                 fact: test >=1.16.0 depends on pedantic ^1.10.0
SLVR:                 fact: test >=1.16.0 depends on pool ^1.5.0
SLVR:                 fact: test >=1.16.6 depends on shelf ^1.0.0
SLVR:                 fact: test >=1.16.6 depends on shelf_packages_handler ^3.0.0
SLVR:                 fact: test >=1.16.6 depends on shelf_static ^1.0.0
SLVR:                 fact: test >=1.16.6 depends on shelf_web_socket ^1.0.0
SLVR:                 fact: test >=1.16.0-nullsafety.19 depends on source_span ^1.8.0
SLVR:                 fact: test >=1.16.0-nullsafety.19 depends on stack_trace ^1.10.0
SLVR:                 fact: test >=1.16.0 depends on stream_channel ^2.1.0
SLVR:                 fact: test >=1.17.10 depends on test_api 0.4.2
SLVR:                 fact: test >=1.17.10 depends on test_core 0.4.0
SLVR:                 fact: test >=1.16.0 depends on typed_data ^1.3.0
SLVR:                 fact: test >=1.16.6 depends on web_socket_channel ^2.0.0
SLVR:                 fact: test >=1.16.6 depends on webkit_inspection_protocol ^1.0.0
SLVR:                 fact: test >=1.16.6 depends on yaml ^3.0.0
SLVR:                   selecting test 1.17.10
SLVR:                   derived: yaml ^3.0.0
SLVR:                   derived: webkit_inspection_protocol ^1.0.0
SLVR:                   derived: web_socket_channel ^2.0.0
SLVR:                   derived: typed_data ^1.3.0
SLVR:                   derived: test_core 0.4.0
SLVR:                   derived: test_api 0.4.2
SLVR:                   derived: stream_channel ^2.1.0
SLVR:                   derived: source_span ^1.8.0
SLVR:                   derived: shelf_web_socket ^1.0.0
SLVR:                   derived: shelf_static ^1.0.0
SLVR:                   derived: shelf_packages_handler ^3.0.0
SLVR:                   derived: shelf ^1.0.0
SLVR:                   derived: pool ^1.5.0
SLVR:                   derived: pedantic ^1.10.0
SLVR:                   derived: package_config ^2.0.0
SLVR:                   derived: node_preamble ^2.0.0
SLVR:                   derived: js ^0.6.3
SLVR:                   derived: io ^1.0.0
SLVR:                   derived: http_multi_server ^3.0.0
SLVR:                   derived: coverage ^1.0.1
SLVR:                   derived: boolean_selector ^2.1.0
SLVR:                   derived: async ^2.5.0
SLVR:                   derived: analyzer >=1.0.0 <3.0.0
SLVR:                   fact: webkit_inspection_protocol >=1.0.0 depends on logging ^1.0.0
SLVR:                     selecting webkit_inspection_protocol 1.0.0
SLVR:                     derived: logging ^1.0.0
SLVR:                     fact: typed_data >=1.3.0 depends on collection ^1.15.0
SLVR:                       selecting typed_data 1.3.0
SLVR:                       fact: test_core >=0.4.0 depends on analyzer >=1.0.0 <3.0.0
SLVR:                       fact: test_core >=0.3.17 depends on args ^2.0.0
SLVR:                       fact: test_core >=0.3.12-nullsafety.17 depends on async ^2.5.0
SLVR:                       fact: test_core >=0.3.12-nullsafety.17 depends on boolean_selector ^2.1.0
SLVR:                       fact: test_core >=0.3.12-nullsafety.17 depends on collection ^1.15.0
SLVR:                       fact: test_core >=0.3.17 depends on coverage ^1.0.0
SLVR:                       fact: test_core >=0.3.23 depends on frontend_server_client ^2.1.0
SLVR:                       fact: test_core >=0.3.17 depends on glob ^2.0.0
SLVR:                       fact: test_core >=0.3.17 depends on io ^1.0.0
SLVR:                       fact: test_core >=0.3.12-nullsafety.8 depends on matcher any
SLVR:                       fact: test_core >=0.3.12-nullsafety.17 depends on meta ^1.3.0
SLVR:                       fact: test_core >=0.3.17 depends on package_config ^2.0.0
SLVR:                       fact: test_core >=0.3.12-nullsafety.17 depends on path ^1.8.0
SLVR:                       fact: test_core >=0.3.12 depends on pedantic ^1.10.0
SLVR:                       fact: test_core >=0.3.12 depends on pool ^1.5.0
SLVR:                       fact: test_core >=0.3.12 depends on source_map_stack_trace ^2.1.0
SLVR:                       fact: test_core >=0.3.12 depends on source_maps ^0.10.10
SLVR:                       fact: test_core >=0.3.12-nullsafety.17 depends on source_span ^1.8.0
SLVR:                       fact: test_core >=0.3.12-nullsafety.17 depends on stack_trace ^1.10.0
SLVR:                       fact: test_core >=0.3.12 depends on stream_channel ^2.1.0
SLVR:                       fact: test_core >=0.4.0 depends on test_api 0.4.2
SLVR:                       fact: test_core >=0.3.25 depends on vm_service >=6.0.0 <8.0.0
SLVR:                       fact: test_core >=0.3.17 depends on yaml ^3.0.0
SLVR:                         selecting test_core 0.4.0
SLVR:                         derived: vm_service >=6.0.0 <8.0.0
SLVR:                         derived: source_maps ^0.10.10
SLVR:                         derived: source_map_stack_trace ^2.1.0
SLVR:                         derived: meta ^1.3.0
SLVR:                         derived: glob ^2.0.0
SLVR:                         derived: frontend_server_client ^2.1.0
SLVR:                         derived: args ^2.0.0
SLVR:                         fact: test_api >=0.2.19 depends on async ^2.5.0
SLVR:                         fact: test_api >=0.2.19 depends on boolean_selector ^2.1.0
SLVR:                         fact: test_api >=0.2.19 depends on collection ^1.15.0
SLVR:                         fact: test_api >=0.2.19 depends on matcher >=0.12.10 <0.12.11
SLVR:                         fact: test_api >=0.2.19 depends on meta ^1.3.0
SLVR:                         fact: test_api >=0.2.19 depends on source_span ^1.8.0
SLVR:                         fact: test_api >=0.2.19 depends on stack_trace ^1.10.0
SLVR:                         fact: test_api >=0.2.19 depends on stream_channel ^2.1.0
SLVR:                         fact: test_api >=0.2.19 depends on string_scanner ^1.1.0
SLVR:                         fact: test_api >=0.2.19 depends on term_glyph ^1.2.0
SLVR:                           selecting test_api 0.4.2
SLVR:                           derived: term_glyph ^1.2.0
SLVR:                           derived: string_scanner ^1.1.0
SLVR:                           fact: stream_channel >=2.1.0 depends on async ^2.5.0
SLVR:                             selecting stream_channel 2.1.0
SLVR:                             fact: shelf_packages_handler >=3.0.0 depends on path ^1.8.0
SLVR:                             fact: shelf_packages_handler >=3.0.0 depends on shelf ^1.0.0
SLVR:                             fact: shelf_packages_handler >=3.0.0 depends on shelf_static ^1.0.0
SLVR:                               selecting shelf_packages_handler 3.0.0
SLVR:                               fact: pool >=1.5.0 depends on async ^2.5.0
SLVR:                               fact: pool >=1.5.0 depends on stack_trace ^1.10.0
SLVR:                                 selecting pool 1.5.0
SLVR:                                 fact: package_config >=2.0.0 depends on path ^1.8.0
SLVR:                                   selecting package_config 2.0.0
SLVR:                                     selecting js 0.6.3
SLVR:                                     fact: boolean_selector >=2.1.0 depends on source_span ^1.8.0
SLVR:                                     fact: boolean_selector >=2.1.0 depends on string_scanner ^1.1.0
SLVR:                                       selecting boolean_selector 2.1.0
SLVR:                                       fact: source_maps >=0.10.10 depends on source_span ^1.8.0
SLVR:                                         selecting source_maps 0.10.10
SLVR:                                         fact: source_map_stack_trace >=2.1.0 depends on path ^1.8.0
SLVR:                                         fact: source_map_stack_trace >=2.1.0 depends on source_maps ^0.10.10
SLVR:                                         fact: source_map_stack_trace >=2.1.0 depends on stack_trace ^1.10.0
SLVR:                                           selecting source_map_stack_trace 2.1.0
SLVR:                                           fact: frontend_server_client >=2.0.0 depends on async ^2.5.0
SLVR:                                           fact: frontend_server_client >=2.0.0 depends on path ^1.8.0
SLVR:                                             selecting frontend_server_client 2.1.0
SLVR:                                               selecting term_glyph 1.2.0
SLVR:                                               fact: string_scanner >=1.1.0 depends on charcode ^1.2.0
SLVR:                                               fact: string_scanner >=1.1.0 depends on source_span ^1.8.0
SLVR:                                                 selecting string_scanner 1.1.0
SLVR:                                                 derived: charcode ^1.2.0
SLVR:                                                 fact: yaml >=3.0.0 depends on collection ^1.15.0
SLVR:                                                 fact: yaml >=3.0.0 depends on source_span ^1.8.0
SLVR:                                                 fact: yaml >=3.0.0 depends on string_scanner ^1.1.0
SLVR:                                                   selecting yaml 3.1.0
SLVR:                                                   fact: web_socket_channel >=2.0.0 depends on async ^2.5.0
SLVR:                                                   fact: web_socket_channel >=2.0.0 depends on crypto ^3.0.0
SLVR:                                                   fact: web_socket_channel >=2.0.0 depends on stream_channel ^2.1.0
SLVR:                                                     selecting web_socket_channel 2.1.0
SLVR:                                                     derived: crypto ^3.0.0
SLVR:                                                     fact: source_span >=1.8.0 depends on collection ^1.15.0
SLVR:                                                     fact: source_span >=1.8.0 depends on path ^1.8.0
SLVR:                                                     fact: source_span >=1.8.0 depends on term_glyph ^1.2.0
SLVR:                                                       selecting source_span 1.8.1
SLVR:                                                       fact: shelf_web_socket >=1.0.1 depends on shelf ^1.1.0
SLVR:                                                       fact: shelf_web_socket >=1.0.0 depends on stream_channel ^2.1.0
SLVR:                                                       fact: shelf_web_socket >=1.0.0 depends on web_socket_channel ^2.0.0
SLVR:                                                         selecting shelf_web_socket 1.0.1
SLVR:                                                         derived: shelf ^1.1.0
SLVR:                                                         fact: shelf_static >=1.0.0 depends on convert ^3.0.0
SLVR:                                                         fact: shelf_static >=1.0.0 depends on http_parser ^4.0.0
SLVR:                                                         fact: shelf_static >=1.0.0 depends on mime ^1.0.0
SLVR:                                                         fact: shelf_static >=1.0.0 depends on path ^1.8.0
SLVR:                                                         fact: shelf_static >=1.1.0 depends on shelf ^1.1.2
SLVR:                                                           selecting shelf_static 1.1.0
SLVR:                                                           derived: shelf ^1.1.2
SLVR:                                                           derived: mime ^1.0.0
SLVR:                                                           derived: http_parser ^4.0.0
SLVR:                                                           derived: convert ^3.0.0
SLVR:                                                             selecting mime 1.0.0
SLVR:                                                             fact: http_parser >=4.0.0 depends on charcode ^1.2.0
SLVR:                                                             fact: http_parser >=4.0.0 depends on collection ^1.15.0
SLVR:                                                             fact: http_parser >=4.0.0 depends on source_span ^1.8.0
SLVR:                                                             fact: http_parser >=4.0.0 depends on string_scanner ^1.1.0
SLVR:                                                             fact: http_parser >=4.0.0 depends on typed_data ^1.3.0
SLVR:                                                               selecting http_parser 4.0.0
SLVR:                                                                 selecting node_preamble 2.0.1
SLVR:                                                                 fact: http_multi_server >=3.0.0 depends on async ^2.5.0
SLVR:                                                                   selecting http_multi_server 3.0.1
SLVR:                                                                     selecting logging 1.0.1
SLVR:                                                                     fact: glob >=2.0.0 depends on async ^2.5.0
SLVR:                                                                     fact: glob >=2.0.0 depends on collection ^1.15.0
SLVR:                                                                     fact: glob >=2.0.0 depends on file ^6.0.0
SLVR:                                                                     fact: glob >=2.0.0 depends on path ^1.8.0
SLVR:                                                                     fact: glob >=2.0.0 depends on pedantic ^1.10.0
SLVR:                                                                     fact: glob >=2.0.0 depends on string_scanner ^1.1.0
SLVR:                                                                       selecting glob 2.0.1
SLVR:                                                                       derived: file ^6.0.0
SLVR:                                                                       fact: crypto >=3.0.0 depends on collection ^1.15.0
SLVR:                                                                       fact: crypto >=3.0.0 depends on typed_data ^1.3.0
SLVR:                                                                         selecting crypto 3.0.1
SLVR:                                                                         fact: convert >=3.0.0 depends on typed_data ^1.3.0
SLVR:                                                                           selecting convert 3.0.1
SLVR:                                                                             selecting pedantic 1.11.1
SLVR:                                                                             fact: io >=1.0.3 depends on meta ^1.3.0
SLVR:                                                                             fact: io >=1.0.0 depends on path ^1.8.0
SLVR:                                                                             fact: io >=1.0.0 depends on string_scanner ^1.1.0
SLVR:                                                                               selecting io 1.0.3
SLVR:                                                                               fact: coverage >=1.0.0 depends on args ^2.0.0
SLVR:                                                                               fact: coverage >=1.0.0 depends on logging ^1.0.0
SLVR:                                                                               fact: coverage >=1.0.0 depends on package_config ^2.0.0
SLVR:                                                                               fact: coverage >=1.0.0 depends on path ^1.8.0
SLVR:                                                                               fact: coverage >=1.0.0 depends on source_maps ^0.10.10
SLVR:                                                                               fact: coverage >=1.0.0 depends on stack_trace ^1.10.0
SLVR:                                                                               fact: coverage >=1.0.3 depends on vm_service >=6.1.0 <8.0.0
SLVR:                                                                                 selecting coverage 1.0.3
SLVR:                                                                                 derived: vm_service >=6.1.0 <8.0.0
SLVR:                                                                                   selecting charcode 1.3.1
SLVR:                                                                                   fact: shelf >=1.0.0 depends on async ^2.5.0
SLVR:                                                                                   fact: shelf >=1.0.0 depends on collection ^1.15.0
SLVR:                                                                                   fact: shelf >=1.0.0 depends on http_parser ^4.0.0
SLVR:                                                                                   fact: shelf >=1.0.0 depends on path ^1.8.0
SLVR:                                                                                   fact: shelf >=1.0.0 depends on stack_trace ^1.10.0
SLVR:                                                                                   fact: shelf >=1.0.0 depends on stream_channel ^2.1.0
SLVR:                                                                                     selecting shelf 1.2.0
SLVR:                                                                                       selecting args 2.2.0
SLVR:                                                                                         selecting meta 1.7.0
SLVR:                                                                                         fact: file >=6.0.0 depends on meta ^1.3.0
SLVR:                                                                                         fact: file >=6.0.0 depends on path ^1.8.0
SLVR:                                                                                           selecting file 6.1.2
SLVR:                                                                                           fact: async >=2.5.0 depends on collection ^1.15.0
SLVR:                                                                                           fact: async >=2.6.0 depends on meta ^1.1.7
SLVR:                                                                                             selecting async 2.8.1
SLVR:                                                                                               selecting vm_service 7.2.0
SLVR:                                                                                               fact: analyzer >=2.0.0 depends on _fe_analyzer_shared ^23.0.0
SLVR:                                                                                               fact: analyzer >=1.0.0 depends on cli_util ^0.3.0
SLVR:                                                                                               fact: analyzer >=1.0.0 depends on collection ^1.15.0
SLVR:                                                                                               fact: analyzer >=1.0.0 depends on convert ^3.0.0
SLVR:                                                                                               fact: analyzer >=1.0.0 depends on crypto ^3.0.0
SLVR:                                                                                               fact: analyzer >=1.0.0 depends on glob ^2.0.0
SLVR:                                                                                               fact: analyzer >=2.0.0 depends on meta ^1.7.0
SLVR:                                                                                               fact: analyzer >=1.0.0 depends on package_config ^2.0.0
SLVR:                                                                                               fact: analyzer >=1.0.0 depends on path ^1.8.0
SLVR:                                                                                               fact: analyzer >=1.3.0 depends on pedantic ^1.10.0
SLVR:                                                                                               fact: analyzer >=1.0.0 depends on pub_semver ^2.0.0
SLVR:                                                                                               fact: analyzer >=1.0.0 depends on source_span ^1.8.0
SLVR:                                                                                               fact: analyzer >=1.0.0 depends on watcher ^1.0.0
SLVR:                                                                                               fact: analyzer >=1.0.0 depends on yaml ^3.0.0
SLVR:                                                                                                 selecting analyzer 2.0.0
SLVR:                                                                                                 derived: watcher ^1.0.0
SLVR:                                                                                                 derived: pub_semver ^2.0.0
SLVR:                                                                                                 derived: cli_util ^0.3.0
SLVR:                                                                                                 derived: _fe_analyzer_shared ^23.0.0
SLVR:                                                                                                 fact: watcher >=1.0.0 depends on async ^2.5.0
SLVR:                                                                                                 fact: watcher >=1.0.0 depends on path ^1.8.0
SLVR:                                                                                                 fact: watcher >=1.0.0 depends on pedantic ^1.10.0
SLVR:                                                                                                   selecting watcher 1.0.0
SLVR:                                                                                                   fact: pub_semver >=2.0.0 depends on collection ^1.15.0
SLVR:                                                                                                     selecting pub_semver 2.0.0
SLVR:                                                                                                     fact: every version of _fe_analyzer_shared depends on meta ^1.0.2
SLVR:                                                                                                       selecting _fe_analyzer_shared 23.0.0
SLVR:                                                                                                       fact: cli_util >=0.3.3 depends on meta ^1.3.0
SLVR:                                                                                                       fact: cli_util >=0.3.0 depends on path ^1.8.0
SLVR:                                                                                                         selecting cli_util 0.3.3
SLVR:                                                                                                         fact: freezed >=0.14.3 depends on analyzer ^2.0.0
SLVR:                                                                                                         fact: freezed >=0.14.1+3 depends on build ^2.0.1
SLVR:                                                                                                         fact: freezed >=0.14.1+3 depends on build_config ^1.0.0
SLVR:                                                                                                         fact: freezed >=0.14.2 depends on collection ^1.15.0
SLVR:                                                                                                         fact: freezed >=0.14.2 depends on freezed_annotation >=0.14.2 <2.0.0
SLVR:                                                                                                         fact: freezed >=0.14.0-nullsafety.1 depends on meta ^1.3.0
SLVR:                                                                                                         fact: freezed >=0.14.1+1 depends on source_gen ^1.0.0
SLVR:                                                                                                         derived: not freezed >=0.14.2
SLVR:                                                                                                         fact: freezed >=0.14.1+3 <0.14.3-∞ depends on analyzer ^1.5.0
SLVR:                                                                                                         fact: freezed >=0.14.0 <0.14.2-∞ depends on freezed_annotation >=0.14.0 <2.0.0
SLVR:                                                                                                         derived: not freezed >=0.14.0 <0.14.2-∞
SLVR:                                                                                                         fact: freezed >=0.12.3-dev <0.13.0-nullsafety.0 depends on analyzer >=0.40.4 <1.0.0
SLVR:                                                                                                         fact: freezed <0.13.0-nullsafety.0 depends on build >=0.12.6 <2.0.0
SLVR:                                                                                                         fact: freezed >=0.1.0 <0.14.0-∞ depends on build_config >=0.4.2 <1.0.0
SLVR:                                                                                                         fact: freezed >=0.12.0 <0.13.0-nullsafety.0 depends on freezed_annotation >=0.12.0 <2.0.0
SLVR:                                                                                                         fact: freezed >=0.12.2 <0.13.0-nullsafety.0 depends on meta ^1.2.0
SLVR:                                                                                                         fact: freezed <0.14.1+1 depends on source_gen ^0.9.0
SLVR:                                                                                                         derived: source_gen ^0.9.0
SLVR:                                                                                                         derived: not freezed >=0.12.3-dev <0.13.0-nullsafety.0
SLVR:                                                                                                         fact: source_gen >=0.9.10+4 <1.0.0-∞ depends on analyzer >=0.42.0 <2.0.0
SLVR:                                                                                                         fact: source_gen >=0.8.3+1 <1.0.0-∞ depends on async ^2.0.7
SLVR:                                                                                                         fact: source_gen >=0.9.10+4 depends on build ^2.0.0
SLVR:                                                                                                         fact: source_gen >=0.9.4+2 <1.0.0-∞ depends on dart_style ^1.0.0
SLVR:                                                                                                         fact: source_gen >=0.9.10+2 <1.0.0-∞ depends on glob >=1.1.0 <3.0.0
SLVR:                                                                                                         fact: source_gen >=0.8.3+1 <1.0.0-∞ depends on meta ^1.1.0
SLVR:                                                                                                         fact: source_gen >=0.8.3+1 <1.0.0-∞ depends on path ^1.3.2
SLVR:                                                                                                         fact: source_gen >=0.9.4+2 <1.0.0-∞ depends on pedantic ^1.0.0
SLVR:                                                                                                         fact: source_gen >=0.8.3+1 <1.0.0-∞ depends on source_span ^1.4.0
SLVR:                                                                                                         derived: not source_gen >=0.9.10+4 <1.0.0-∞
SLVR:                                                                                                         fact: source_gen >=0.9.10+3 <0.9.10+4 depends on analyzer >=0.41.2 <2.0.0
SLVR:                                                                                                         fact: source_gen >=0.9.8 <0.9.10+4 depends on build ^1.4.0
SLVR:                                                                                                         derived: not source_gen >=0.9.10+3 <0.9.10+4
SLVR:                                                                                                         fact: source_gen >=0.9.9 <0.9.10+3 depends on analyzer >=0.39.11 <0.42.0
SLVR:                                                                                                         derived: not source_gen >=0.9.9 <0.9.10+3
SLVR:                                                                                                         fact: source_gen >=0.9.7+1 <0.9.9-∞ depends on analyzer >=0.39.11 <0.41.0
SLVR:                                                                                                         fact: source_gen >=0.9.0 <0.9.10+2 depends on glob ^1.1.0
SLVR:                                                                                                         conflict: source_gen >=0.9.0 <0.9.10+2 depends on glob ^1.1.0
SLVR:                                                                                                         ! source_gen >=0.9.0 <0.9.10+2 is partially satisfied by not source_gen >=0.9.9 <0.9.10+3
SLVR:                                                                                                         ! which is caused by "source_gen >=0.9.9 <0.9.10+3 depends on analyzer >=0.39.11 <0.42.0"
SLVR:                                                                                                         ! thus: source_gen >=0.9.0 <0.9.10+3 requires glob ^1.1.0 or analyzer >=0.39.11 <0.42.0
SLVR:                                                                                                         ! source_gen >=0.9.0 <0.9.10+3 is partially satisfied by not source_gen >=0.9.10+3 <0.9.10+4
SLVR:                                                                                                         ! which is caused by "source_gen >=0.9.10+3 <0.9.10+4 depends on analyzer >=0.41.2 <2.0.0"
SLVR:                                                                                                         ! thus: source_gen >=0.9.0 <0.9.10+4 requires glob ^1.1.0 or analyzer >=0.39.11 <2.0.0
SLVR:                                                                                                         ! source_gen >=0.9.0 <0.9.10+4 is partially satisfied by not source_gen >=0.9.10+4 <1.0.0-∞
SLVR:                                                                                                         ! which is caused by "source_gen >=0.9.10+4 <1.0.0-∞ depends on analyzer >=0.42.0 <2.0.0"
SLVR:                                                                                                         ! thus: source_gen >=0.9.0 <1.0.0-∞ requires glob ^1.1.0 or analyzer >=0.39.11 <2.0.0
SLVR:                                                                                                 fact: source_gen >=0.9.0 <1.0.0-∞ requires glob ^1.1.0 or analyzer >=0.39.11 <2.0.0
SLVR:                                                                                                 derived: not source_gen >=0.9.0 <1.0.0-∞
SLVR:                                                                                                 derived: not freezed <0.14.1+1
SLVR:                                                                                                 derived: source_gen ^1.0.0
SLVR:                                                                                                 derived: not freezed >=0.14.0 <0.14.2-∞
SLVR:                                                                                                 derived: not freezed >=0.14.1+3 <0.14.3-∞
SLVR:                                                                                                 conflict: freezed >=0.14.2 depends on freezed_annotation >=0.14.2 <2.0.0
SLVR:                                                                                                 ! freezed >=0.14.2 is partially satisfied by not freezed >=0.14.0 <0.14.2-∞
SLVR:                                                                                                 ! which is caused by "freezed >=0.14.0 <0.14.2-∞ depends on freezed_annotation >=0.14.0 <2.0.0"
SLVR:                                                                                                 ! thus: freezed >=0.14.0 requires freezed_annotation >=0.14.0 <2.0.0
SLVR:   fact: freezed >=0.14.0 requires freezed_annotation >=0.14.0 <2.0.0
SLVR:   derived: not freezed >=0.14.0
SLVR:   derived: source_gen ^0.9.0
SLVR:   derived: source_span ^1.4.0
SLVR:   derived: path ^1.3.2
SLVR:   derived: meta ^1.1.0
SLVR:   derived: async ^2.0.7
SLVR:     selecting freezed_annotation 0.12.0
SLVR:     derived: json_annotation ^3.0.0
SLVR:     derived: collection ^1.14.0
SLVR:     derived: collection ^1.15.0
SLVR:       selecting collection 1.15.0
SLVR:         selecting mocktail 0.1.4
SLVR:         derived: test ^1.16.0
SLVR:         derived: matcher ^0.12.10
SLVR:         derived: typed_data ^1.3.0
SLVR:         derived: stream_channel ^2.1.0
SLVR:         derived: stack_trace ^1.10.0
SLVR:         derived: source_span ^1.8.0
SLVR:         derived: pool ^1.5.0
SLVR:         derived: pedantic ^1.10.0
SLVR:         derived: path ^1.8.0
SLVR:         derived: js ^0.6.3
SLVR:         derived: boolean_selector ^2.1.0
SLVR:         derived: async ^2.5.0
SLVR:         derived: term_glyph ^1.2.0
SLVR:         derived: string_scanner ^1.1.0
SLVR:         derived: charcode ^1.2.0
SLVR:           selecting path 1.8.0
SLVR:             selecting matcher 0.12.10
SLVR:               selecting typed_data 1.3.0
SLVR:                 selecting stream_channel 2.1.0
SLVR:                   selecting stack_trace 1.10.0
SLVR:                     selecting pool 1.5.0
SLVR:                       selecting js 0.6.3
SLVR:                         selecting boolean_selector 2.1.0
SLVR:                           selecting term_glyph 1.2.0
SLVR:                             selecting string_scanner 1.1.0
SLVR:                               selecting source_span 1.8.1
SLVR:                                 selecting pedantic 1.11.1
SLVR:                                   selecting charcode 1.3.1
SLVR:                                     selecting json_annotation 3.1.1
SLVR:                                       selecting async 2.8.1
SLVR:                                       derived: meta ^1.1.7
SLVR:                                         selecting meta 1.7.0
SLVR:                                           selecting test 1.17.10
SLVR:                                           derived: yaml ^3.0.0
SLVR:                                           derived: webkit_inspection_protocol ^1.0.0
SLVR:                                           derived: web_socket_channel ^2.0.0
SLVR:                                           derived: test_core 0.4.0
SLVR:                                           derived: test_api 0.4.2
SLVR:                                           derived: shelf_web_socket ^1.0.0
SLVR:                                           derived: shelf_static ^1.0.0
SLVR:                                           derived: shelf_packages_handler ^3.0.0
SLVR:                                           derived: shelf ^1.0.0
SLVR:                                           derived: package_config ^2.0.0
SLVR:                                           derived: node_preamble ^2.0.0
SLVR:                                           derived: io ^1.0.0
SLVR:                                           derived: http_multi_server ^3.0.0
SLVR:                                           derived: coverage ^1.0.1
SLVR:                                           derived: analyzer >=1.0.0 <3.0.0
SLVR:                                           derived: logging ^1.0.0
SLVR:                                           derived: crypto ^3.0.0
SLVR:                                           derived: vm_service >=6.0.0 <8.0.0
SLVR:                                           derived: source_maps ^0.10.10
SLVR:                                           derived: source_map_stack_trace ^2.1.0
SLVR:                                           derived: glob ^2.0.0
SLVR:                                           derived: frontend_server_client ^2.1.0
SLVR:                                           derived: args ^2.0.0
SLVR:                                           derived: mime ^1.0.0
SLVR:                                           derived: http_parser ^4.0.0
SLVR:                                           derived: convert ^3.0.0
SLVR:                                           derived: analyzer >=0.39.11 <2.0.0
SLVR:                                           derived: not source_gen >=0.9.7+1 <0.9.9-∞
SLVR:                                           derived: not source_gen >=0.9.9 <0.9.10+3
SLVR:                                           derived: not freezed >=0.12.3-dev <0.13.0-nullsafety.0
SLVR:                                           derived: watcher ^1.0.0
SLVR:                                           derived: pub_semver ^2.0.0
SLVR:                                           derived: cli_util ^0.3.0
SLVR:                                           derived: not source_gen >=0.9.0 <0.9.10+2
SLVR:                                           derived: file ^6.0.0
SLVR:                                           derived: dart_style ^1.0.0
SLVR:                                             selecting webkit_inspection_protocol 1.0.0
SLVR:                                               selecting test_core 0.4.0
SLVR:                                                 selecting test_api 0.4.2
SLVR:                                                   selecting shelf_packages_handler 3.0.0
SLVR:                                                     selecting package_config 2.0.0
SLVR:                                                       selecting source_maps 0.10.10
SLVR:                                                         selecting source_map_stack_trace 2.1.0
SLVR:                                                           selecting frontend_server_client 2.1.0
SLVR:                                                             selecting mime 1.0.0
SLVR:                                                               selecting http_parser 4.0.0
SLVR:                                                                 selecting watcher 1.0.0
SLVR:                                                                   selecting pub_semver 2.0.0
SLVR:                                                                     selecting source_gen 0.9.10+4
SLVR:                                                                     derived: build ^2.0.0
SLVR:                                                                     derived: not freezed <0.13.0-nullsafety.0
SLVR:                                                                     derived: build_config >=0.4.2 <1.0.0
SLVR:                                                                       selecting yaml 3.1.0
SLVR:                                                                         selecting web_socket_channel 2.1.0
SLVR:                                                                           selecting shelf_web_socket 1.0.1
SLVR:                                                                           derived: shelf ^1.1.0
SLVR:                                                                             selecting shelf_static 1.1.0
SLVR:                                                                             derived: shelf ^1.1.2
SLVR:                                                                               selecting node_preamble 2.0.1
SLVR:                                                                                 selecting http_multi_server 3.0.1
SLVR:                                                                                   selecting logging 1.0.1
SLVR:                                                                                     selecting crypto 3.0.1
SLVR:                                                                                       selecting glob 2.0.1
SLVR:                                                                                         selecting convert 3.0.1
SLVR:                                                                                         fact: freezed >=0.13.0-nullsafety.0 <0.14.0-nullsafety.1 depends on analyzer >=0.41.0 <1.0.0
SLVR:                                                                                         fact: freezed >=0.13.0-nullsafety.0 <0.14.1+1 depends on build ^1.6.0
SLVR:                                                                                         fact: freezed ^0.13.0-nullsafety.0 depends on freezed_annotation >=0.13.0-nullsafety.0 <2.0.0
SLVR:                                                                                         fact: freezed >=0.13.0-nullsafety.0 <0.14.0-nullsafety.1 depends on meta ^1.3.0-nullsafety.6
SLVR:                                                                                         conflict: freezed ^0.13.0-nullsafety.0 depends on freezed_annotation >=0.13.0-nullsafety.0 <2.0.0
SLVR:                                                                                         ! freezed ^0.13.0-nullsafety.0 is partially satisfied by not freezed <0.13.0-nullsafety.0
SLVR:                                                                                         ! which is caused by "freezed <0.13.0-nullsafety.0 depends on build >=0.12.6 <2.0.0"
SLVR:                                                                                         ! thus: freezed <0.14.0 requires freezed_annotation >=0.13.0-nullsafety.0 <2.0.0 or build >=0.12.6 <2.0.0
SLVR:                                                                                         ! freezed <0.14.0 is partially satisfied by not freezed <0.13.0-nullsafety.0
SLVR:                                                                                         ! which is caused by "freezed <0.13.0-nullsafety.0 depends on build >=0.12.6 <2.0.0"
SLVR:                                                                                         ! thus: freezed <0.14.0 requires freezed_annotation >=0.13.0-nullsafety.0 <2.0.0 or build >=0.12.6 <2.0.0
SLVR:                                                                                         ! freezed <0.14.0 is partially satisfied by not freezed <0.13.0-nullsafety.0
SLVR:                                                                                         ! which is caused by "freezed <0.13.0-nullsafety.0 depends on build >=0.12.6 <2.0.0"
SLVR:                                                                                         ! thus: freezed <0.14.0 requires freezed_annotation >=0.13.0-nullsafety.0 <2.0.0 or build >=0.12.6 <2.0.0
SLVR:                                                                                         ! freezed <0.14.0 is partially satisfied by not freezed <0.13.0-nullsafety.0
SLVR:                                                                                         ! which is caused by "freezed <0.13.0-nullsafety.0 depends on build >=0.12.6 <2.0.0"
SLVR:                                                                                         ! thus: freezed <0.14.0 requires freezed_annotation >=0.13.0-nullsafety.0 <2.0.0 or build >=0.12.6 <2.0.0
SLVR:                                                                                         ! freezed <0.14.0 is partially satisfied by not freezed <0.13.0-nullsafety.0
SLVR:                                                                                         ! which is caused by "freezed <0.13.0-nullsafety.0 depends on build >=0.12.6 <2.0.0"
...

I still haven't investigated deeply into this, but it could indeed be something similar to: #2258...

[sigurdm]

After reducing this to a minimal case I get something extremely similar to the case given in: #3038 .
Will keep this open until we confirm they are the same.

[sigurdm]

Here is my reduced test case. Instead of failing, it goes into an infinite loop:

import 'package:test/test.dart';

import '../descriptor.dart' as d;
import '../test_pub.dart';

void main() {
  test('infinite loop', () async {
    await servePackages((builder) {
      builder.serve('a', '0.12.0', deps: {});
      builder.serve('b', '0.1.0', deps: {'c': '2.0.0'});
      builder.serve('b', '0.9.0-1', deps: {'c': '^1.6.0'});
      builder.serve('b', '0.10.0', deps: {'a': '1.0.0'});
      builder.serve('b', '0.17.0', deps: {'a': '1.0.0'});
      builder.serve('c', '2.0.1', deps: {});
    });

    await d.appDir(
      {
        'a': '0.12.0',
        'b': 'any',
      },
    ).create();
    await pubGet();
  });
}