Skip to content

WIP container trait bounds

Sign in for the full log view
GitHub Actions / clippy failed Oct 23, 2024 in 0s

clippy

17 errors

Details

Results

Message level Amount
Internal compiler error 0
Error 17
Warning 0
Note 0
Help 0

Versions

  • rustc 1.84.0-nightly (86d69c705 2024-10-22)
  • cargo 1.84.0-nightly (cf53cc54b 2024-10-18)
  • clippy 0.1.84 (86d69c705a 2024-10-22)

Annotations

Check failure on line 59 in scopegraphs/src/containers/scope.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

the trait bound `<SC as containers::scope::ScopeContainer<'sg, 'rslv, LABEL, DATA, DWFO>>::PathContainer<_>: std::clone::Clone` is not satisfied 

error[E0277]: the trait bound `<SC as containers::scope::ScopeContainer<'sg, 'rslv, LABEL, DATA, DWFO>>::PathContainer<_>: std::clone::Clone` is not satisfied
  --> scopegraphs/src/containers/scope.rs:59:9
   |
59 |         FutureWrapper::new(async move { self.0.await.lift_step(lbl, prefix.clone()) })
   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::clone::Clone` is not implemented for `<SC as containers::scope::ScopeContainer<'sg, 'rslv, LABEL, DATA, DWFO>>::PathContainer<_>`
   |
note: required by a bound in `future_wrapper::FutureWrapper::<'fut, T>::new`
  --> scopegraphs/src/future_wrapper.rs:20:15
   |
20 | impl<'fut, T: Clone> FutureWrapper<'fut, T> {
   |               ^^^^^ required by this bound in `FutureWrapper::<'fut, T>::new`
21 |     pub fn new(f: impl Future<Output = T> + 'fut) -> Self {
   |            --- required by a bound in this associated function

Check failure on line 55 in scopegraphs/src/containers/scope.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

impl has stricter requirements than trait 

error[E0276]: impl has stricter requirements than trait
  --> scopegraphs/src/containers/scope.rs:55:93
   |
13 |     type PathContainer<DWFO_INNER> : PathContainer<'sg, 'rslv, LABEL, DATA, DWFO>;
   |     ----------------------------------------------------------------------------- definition of `PathContainer` from trait
...
55 |         SC::PathContainer<DWFO_INNER>: PathContainer<'sg, 'rslv, LABEL, DATA, DWFO_INNER> + Clone
   |                                                                                             ^^^^^ impl has extra requirement `<SC as containers::scope::ScopeContainer<'sg, 'rslv, LABEL, DATA, DWFO>>::PathContainer<DWFO_INNER>: std::clone::Clone`

Check failure on line 55 in scopegraphs/src/containers/scope.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

impl has stricter requirements than trait 

error[E0276]: impl has stricter requirements than trait
  --> scopegraphs/src/containers/scope.rs:55:40
   |
13 |     type PathContainer<DWFO_INNER> : PathContainer<'sg, 'rslv, LABEL, DATA, DWFO>;
   |     ----------------------------------------------------------------------------- definition of `PathContainer` from trait
...
55 |         SC::PathContainer<DWFO_INNER>: PathContainer<'sg, 'rslv, LABEL, DATA, DWFO_INNER> + Clone
   |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ impl has extra requirement `<SC as containers::scope::ScopeContainer<'sg, 'rslv, LABEL, DATA, DWFO>>::PathContainer<DWFO_INNER>: containers::path::PathContainer<'sg, 'rslv, LABEL, DATA, DWFO_INNER>`

Check failure on line 41 in scopegraphs/src/containers/scope.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

method `lift_step` has 0 type parameters but its trait declaration has 1 type parameter 

error[E0049]: method `lift_step` has 0 type parameters but its trait declaration has 1 type parameter
  --> scopegraphs/src/containers/scope.rs:41:17
   |
19 |     fn lift_step<DWFO_INNER>(self, lbl: LABEL, prefix: Path<LABEL>) -> Self::PathContainer<DWFO_INNER>;
   |                  ---------- expected 1 type parameter
...
41 |     fn lift_step(self, lbl: LABEL, prefix: Path<LABEL>) -> Self::PathContainer {
   |                 ^ found 0 type parameters

Check failure on line 39 in scopegraphs/src/containers/scope.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

type `PathContainer` has 0 type parameters but its trait declaration has 1 type parameter 

error[E0049]: type `PathContainer` has 0 type parameters but its trait declaration has 1 type parameter
  --> scopegraphs/src/containers/scope.rs:39:23
   |
13 |     type PathContainer<DWFO_INNER> : PathContainer<'sg, 'rslv, LABEL, DATA, DWFO>;
   |                        ---------- expected 1 type parameter
...
39 |     type PathContainer = Result<SC::PathContainer, E>;
   |                       ^ found 0 type parameters

Check failure on line 28 in scopegraphs/src/containers/scope.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

method `lift_step` has 0 type parameters but its trait declaration has 1 type parameter 

error[E0049]: method `lift_step` has 0 type parameters but its trait declaration has 1 type parameter
  --> scopegraphs/src/containers/scope.rs:28:17
   |
19 |     fn lift_step<DWFO_INNER>(self, lbl: LABEL, prefix: Path<LABEL>) -> Self::PathContainer<DWFO_INNER>;
   |                  ---------- expected 1 type parameter
...
28 |     fn lift_step(self, lbl: LABEL, prefix: Path<LABEL>) -> Self::PathContainer {
   |                 ^ found 0 type parameters

Check failure on line 26 in scopegraphs/src/containers/scope.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

type `PathContainer` has 0 type parameters but its trait declaration has 1 type parameter 

error[E0049]: type `PathContainer` has 0 type parameters but its trait declaration has 1 type parameter
  --> scopegraphs/src/containers/scope.rs:26:23
   |
13 |     type PathContainer<DWFO_INNER> : PathContainer<'sg, 'rslv, LABEL, DATA, DWFO>;
   |                        ---------- expected 1 type parameter
...
26 |     type PathContainer = Vec<Path<LABEL>>;
   |                       ^ found 0 type parameters

Check failure on line 39 in scopegraphs/src/containers/scope.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

missing generics for associated type `containers::scope::ScopeContainer::PathContainer` 

error[E0107]: missing generics for associated type `containers::scope::ScopeContainer::PathContainer`
  --> scopegraphs/src/containers/scope.rs:39:37
   |
39 |     type PathContainer = Result<SC::PathContainer, E>;
   |                                     ^^^^^^^^^^^^^ expected 1 generic argument
   |
note: associated type defined here, with 1 generic parameter: `DWFO_INNER`
  --> scopegraphs/src/containers/scope.rs:13:10
   |
13 |     type PathContainer<DWFO_INNER> : PathContainer<'sg, 'rslv, LABEL, DATA, DWFO>;
   |          ^^^^^^^^^^^^^ ----------
help: add missing generic argument
   |
39 |     type PathContainer = Result<SC::PathContainer<DWFO_INNER>, E>;
   |                                                  ++++++++++++

Check failure on line 37 in scopegraphs/src/containers/scope.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

missing generics for associated type `containers::scope::ScopeContainer::PathContainer` 

error[E0107]: missing generics for associated type `containers::scope::ScopeContainer::PathContainer`
  --> scopegraphs/src/containers/scope.rs:37:20
   |
37 |         Result<SC::PathContainer, E>: PathContainer<'sg, 'rslv, LABEL, DATA, DWFO>
   |                    ^^^^^^^^^^^^^ expected 1 generic argument
   |
note: associated type defined here, with 1 generic parameter: `DWFO_INNER`
  --> scopegraphs/src/containers/scope.rs:13:10
   |
13 |     type PathContainer<DWFO_INNER> : PathContainer<'sg, 'rslv, LABEL, DATA, DWFO>;
   |          ^^^^^^^^^^^^^ ----------
help: add missing generic argument
   |
37 |         Result<SC::PathContainer<DWFO_INNER>, E>: PathContainer<'sg, 'rslv, LABEL, DATA, DWFO>
   |                                 ++++++++++++

Check failure on line 41 in scopegraphs/src/containers/scope.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

missing generics for associated type `containers::scope::ScopeContainer::PathContainer` 

error[E0107]: missing generics for associated type `containers::scope::ScopeContainer::PathContainer`
  --> scopegraphs/src/containers/scope.rs:41:66
   |
41 |     fn lift_step(self, lbl: LABEL, prefix: Path<LABEL>) -> Self::PathContainer {
   |                                                                  ^^^^^^^^^^^^^ expected 1 generic argument
   |
note: associated type defined here, with 1 generic parameter: `DWFO_INNER`
  --> scopegraphs/src/containers/scope.rs:13:10
   |
13 |     type PathContainer<DWFO_INNER> : PathContainer<'sg, 'rslv, LABEL, DATA, DWFO>;
   |          ^^^^^^^^^^^^^ ----------
help: add missing generic argument
   |
41 |     fn lift_step(self, lbl: LABEL, prefix: Path<LABEL>) -> Self::PathContainer<DWFO_INNER> {
   |                                                                               ++++++++++++

Check failure on line 28 in scopegraphs/src/containers/scope.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

missing generics for associated type `containers::scope::ScopeContainer::PathContainer` 

error[E0107]: missing generics for associated type `containers::scope::ScopeContainer::PathContainer`
  --> scopegraphs/src/containers/scope.rs:28:66
   |
28 |     fn lift_step(self, lbl: LABEL, prefix: Path<LABEL>) -> Self::PathContainer {
   |                                                                  ^^^^^^^^^^^^^ expected 1 generic argument
   |
note: associated type defined here, with 1 generic parameter: `DWFO_INNER`
  --> scopegraphs/src/containers/scope.rs:13:10
   |
13 |     type PathContainer<DWFO_INNER> : PathContainer<'sg, 'rslv, LABEL, DATA, DWFO>;
   |          ^^^^^^^^^^^^^ ----------
help: add missing generic argument
   |
28 |     fn lift_step(self, lbl: LABEL, prefix: Path<LABEL>) -> Self::PathContainer<DWFO_INNER> {
   |                                                                               ++++++++++++

Check failure on line 100 in scopegraphs/src/resolve/lookup.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

missing generics for associated type `containers::scope::ScopeContainer::PathContainer` 

error[E0107]: missing generics for associated type `containers::scope::ScopeContainer::PathContainer`
   --> scopegraphs/src/resolve/lookup.rs:100:54
    |
100 | > as ScopeContainer<'sg, 'rslv, LABEL, DATA, DWFO>>::PathContainer as PathContainer<'sg, 'rslv, LABEL, DATA, DWFO>>::EnvContainer;
    |                                                      ^^^^^^^^^^^^^ expected 1 generic argument
    |
note: associated type defined here, with 1 generic parameter: `DWFO_INNER`
   --> scopegraphs/src/containers/scope.rs:13:10
    |
13  |     type PathContainer<DWFO_INNER> : PathContainer<'sg, 'rslv, LABEL, DATA, DWFO>;
    |          ^^^^^^^^^^^^^ ----------
help: add missing generic argument
    |
100 | > as ScopeContainer<'sg, 'rslv, LABEL, DATA, DWFO>>::PathContainer<DWFO_INNER> as PathContainer<'sg, 'rslv, LABEL, DATA, DWFO>>::EnvContainer;
    |                                                                   ++++++++++++

Check failure on line 2 in scopegraphs/src/containers/path.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

unused import: `DataEquivalence` 

error: unused import: `DataEquivalence`
 --> scopegraphs/src/containers/path.rs:2:22
  |
2 | use crate::resolve::{DataEquivalence, Env, Path, ResolvedPath};
  |                      ^^^^^^^^^^^^^^^
  |
  = note: `-D unused-imports` implied by `-D warnings`
  = help: to override `-D warnings` add `#[allow(unused_imports)]`

Check failure on line 58 in scopegraphs/src/containers/scope.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

type parameter `DWFO_INNER` should have an upper camel case name 

error: type parameter `DWFO_INNER` should have an upper camel case name
  --> scopegraphs/src/containers/scope.rs:58:18
   |
58 |     fn lift_step<DWFO_INNER>(self, lbl: LABEL, prefix: Path<LABEL>) -> Self::PathContainer<DWFO_INNER> {
   |                  ^^^^^^^^^^ help: convert the identifier to upper camel case: `DwfoInner`

Check failure on line 53 in scopegraphs/src/containers/scope.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

type parameter `DWFO_INNER` should have an upper camel case name 

error: type parameter `DWFO_INNER` should have an upper camel case name
  --> scopegraphs/src/containers/scope.rs:53:24
   |
53 |     type PathContainer<DWFO_INNER> = FutureWrapper<'rslv, SC::PathContainer<DWFO_INNER>>
   |                        ^^^^^^^^^^ help: convert the identifier to upper camel case: `DwfoInner`

Check failure on line 19 in scopegraphs/src/containers/scope.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

type parameter `DWFO_INNER` should have an upper camel case name 

error: type parameter `DWFO_INNER` should have an upper camel case name
  --> scopegraphs/src/containers/scope.rs:19:18
   |
19 |     fn lift_step<DWFO_INNER>(self, lbl: LABEL, prefix: Path<LABEL>) -> Self::PathContainer<DWFO_INNER>;
   |                  ^^^^^^^^^^ help: convert the identifier to upper camel case: `DwfoInner`

Check failure on line 13 in scopegraphs/src/containers/scope.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

type parameter `DWFO_INNER` should have an upper camel case name 

error: type parameter `DWFO_INNER` should have an upper camel case name
  --> scopegraphs/src/containers/scope.rs:13:24
   |
13 |     type PathContainer<DWFO_INNER> : PathContainer<'sg, 'rslv, LABEL, DATA, DWFO>;
   |                        ^^^^^^^^^^ help: convert the identifier to upper camel case: `DwfoInner`
   |
   = note: `-D non-camel-case-types` implied by `-D warnings`
   = help: to override `-D warnings` add `#[allow(non_camel_case_types)]`
View more details on GitHub Actions