Jonas

icon location Switzerland

Results 2 comments of Jonas

Cannot add `#[requires]` annotation to trait function

We can annotate `Foo` with `#[refine_trait_spec]` to solve the issue. Maybe we should consider to simply throw a more meaningful error when this annotation is missing.

Getting 404 errors

Same thing happens when I try to run the main method of `APIexample` as soon as it gets to line 70 (`api.downloadSong(_song)`)