Refactor gathering into its own module #92
nilehmannAnnotations
8 errors and 1 warning
|
lint
Process completed with exit code 1.
|
|
no method named `gather_output_params_fn_sig` found for mutable reference `&mut desugar::DesugarCtxt<'a, 'tcx>` in the current scope:
crates/flux-desugar/src/desugar.rs#L544
error[E0599]: no method named `gather_output_params_fn_sig` found for mutable reference `&mut desugar::DesugarCtxt<'a, 'tcx>` in the current scope
--> crates/flux-desugar/src/desugar.rs:544:14
|
544 | self.gather_output_params_fn_sig(fn_sig, binders)?;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ method not found in `&mut DesugarCtxt<'a, 'tcx>`
|
|
no method named `gather_params_predicates` found for mutable reference `&mut desugar::DesugarCtxt<'a, 'tcx>` in the current scope:
crates/flux-desugar/src/desugar.rs#L525
error[E0599]: no method named `gather_params_predicates` found for mutable reference `&mut desugar::DesugarCtxt<'a, 'tcx>` in the current scope
--> crates/flux-desugar/src/desugar.rs:525:14
|
525 | self.gather_params_predicates(&fn_sig.predicates, binders)?;
| ^^^^^^^^^^^^^^^^^^^^^^^^ help: there is a method with a similar name: `desugar_predicates`
|
|
no method named `gather_input_params_fn_sig` found for mutable reference `&mut desugar::DesugarCtxt<'a, 'tcx>` in the current scope:
crates/flux-desugar/src/desugar.rs#L524
error[E0599]: no method named `gather_input_params_fn_sig` found for mutable reference `&mut desugar::DesugarCtxt<'a, 'tcx>` in the current scope
--> crates/flux-desugar/src/desugar.rs:524:14
|
524 | self.gather_input_params_fn_sig(fn_sig, binders)?;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^ method not found in `&mut DesugarCtxt<'a, 'tcx>`
|
|
no method named `gather_params_variant` found for mutable reference `&mut desugar::DesugarCtxt<'a, 'tcx>` in the current scope:
crates/flux-desugar/src/desugar.rs#L465
error[E0599]: no method named `gather_params_variant` found for mutable reference `&mut desugar::DesugarCtxt<'a, 'tcx>` in the current scope
--> crates/flux-desugar/src/desugar.rs:465:18
|
465 | self.gather_params_variant(variant_def, binders)?;
| ^^^^^^^^^^^^^^^^^^^^^ method not found in `&mut DesugarCtxt<'a, 'tcx>`
|
|
file not found for module `gather`:
crates/flux-desugar/src/desugar.rs#L1
error[E0583]: file not found for module `gather`
--> crates/flux-desugar/src/desugar.rs:1:1
|
1 | mod gather;
| ^^^^^^^^^^^
|
= help: to create the module `gather`, create file "crates/flux-desugar/src/desugar/gather.rs" or "crates/flux-desugar/src/desugar/gather/mod.rs"
|
|
clippy
Clippy had exited with the 101 exit code
|
|
tests
Process completed with exit code 101.
|
|
clippy
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|