Encode unknown generic type parameters with (declare-forall-sort)#93
Draft
coeff-aij wants to merge 83 commits into
Draft
Encode unknown generic type parameters with (declare-forall-sort)#93coeff-aij wants to merge 83 commits into
(declare-forall-sort)#93coeff-aij wants to merge 83 commits into
Annotations
10 errors
|
Run cargo test:
tests/ui/annot-error/invariant_context_self_trait_bound.rs#L41
Error: can't capture dynamic environment in a fn item
|
|
Run cargo test:
tests/ui/annot-error/invariant_context_self_trait_bound.rs#L40
Error: mismatched types
|
|
Run cargo test:
tests/ui/annot-error/invariant_context_self_trait_bound.rs#L32
Error: cannot find value `__thrust_self` in this scope
Error: the trait bound `B: thrust_models::Model` is not satisfied
Error: the trait bound `Self: thrust_models::Model` is not satisfied
Error: the trait bound `<Self as Foo>::Item: thrust_models::Model` is not satisfied
|
|
|
|
Run cargo test:
tests/ui/annot-error/array_index_literal_int.rs#L0
Error: verification error: Unknown { stdout: "unknown\n" }
|
|
|
|
Run cargo test:
tests/ui/annot-error/array_index_literal_int_workaround.rs#L18
Error: type annotations needed
|
|
|
|
Run cargo test:
tests/ui/annot-error/formula_fn_capture_local.rs#L39
Error: can't capture dynamic environment in a fn item
Error: can't capture dynamic environment in a fn item
Error: can't capture dynamic environment in a fn item
|
|
Run cargo test:
tests/ui/annot-error/formula_fn_capture_local.rs#L33
Error: the trait bound `B: thrust_models::Model` is not satisfied
Error: the trait bound `Self: thrust_models::Model` is not satisfied
|
background
wait
wait-all
cancel
parallel
Loading