DEBSOURCES
Skip Quicknav
Home
Search
Documentation
Stats
About
sources
/
rustc
/
1.88.0%2Bdfsg1-1
/
tests
/
ui
/ contracts
package info
(click to toggle)
rustc 1.88.0%2Bdfsg1-1
links:
PTS
,
VCS
area: main
in suites: forky, sid
size: 934,128 kB
sloc
: xml: 158,127; python: 36,062; javascript: 19,855; sh: 19,700; cpp: 18,947; ansic: 12,993; asm: 4,792; makefile: 690; lisp: 29; perl: 29; ruby: 19; sql: 11
Folder: contracts
.. (parent)
d
rwxr-xr-x
4,096
internal_machinery
-
rw-r--r--
387
associated-item.rs
-
rw-r--r--
388
associated-item.stderr
-
rw-r--r--
901
contract-annotation-limitations.rs
-
rw-r--r--
997
contract-annotation-limitations.stderr
-
rw-r--r--
402
contract-attributes-generics.chk_const_fail.stderr
-
rw-r--r--
402
contract-attributes-generics.chk_fail_post.stderr
-
rw-r--r--
402
contract-attributes-generics.chk_fail_pre.stderr
-
rw-r--r--
402
contract-attributes-generics.chk_pass.stderr
-
rw-r--r--
2,115
contract-attributes-generics.rs
-
rw-r--r--
402
contract-attributes-generics.unchk_pass.stderr
-
rw-r--r--
398
contract-attributes-nest.chk_fail_post.stderr
-
rw-r--r--
398
contract-attributes-nest.chk_fail_pre.stderr
-
rw-r--r--
398
contract-attributes-nest.chk_pass.stderr
-
rw-r--r--
1,368
contract-attributes-nest.rs
-
rw-r--r--
398
contract-attributes-nest.unchk_fail_post.stderr
-
rw-r--r--
398
contract-attributes-nest.unchk_fail_pre.stderr
-
rw-r--r--
398
contract-attributes-nest.unchk_pass.stderr
-
rw-r--r--
398
contract-attributes-tail.chk_fail_post.stderr
-
rw-r--r--
398
contract-attributes-tail.chk_fail_pre.stderr
-
rw-r--r--
398
contract-attributes-tail.chk_pass.stderr
-
rw-r--r--
1,339
contract-attributes-tail.rs
-
rw-r--r--
398
contract-attributes-tail.unchk_fail_post.stderr
-
rw-r--r--
398
contract-attributes-tail.unchk_fail_pre.stderr
-
rw-r--r--
398
contract-attributes-tail.unchk_pass.stderr
-
rw-r--r--
845
contract-captures-via-closure-copy.rs
-
rw-r--r--
407
contract-captures-via-closure-copy.stderr
-
rw-r--r--
694
contract-captures-via-closure-noncopy.rs
-
rw-r--r--
1,903
contract-captures-via-closure-noncopy.stderr
-
rw-r--r--
391
contract-const-fn.all_pass.stderr
-
rw-r--r--
1,601
contract-const-fn.rs
-
rw-r--r--
391
contract-const-fn.runtime_fail_post.stderr
-
rw-r--r--
391
contract-const-fn.runtime_fail_pre.stderr
-
rw-r--r--
405
contracts-ensures-early-fn-exit.chk_fail_ret.stderr
-
rw-r--r--
405
contracts-ensures-early-fn-exit.chk_fail_try.stderr
-
rw-r--r--
405
contracts-ensures-early-fn-exit.chk_fail_yeet.stderr
-
rw-r--r--
405
contracts-ensures-early-fn-exit.chk_pass.stderr
-
rw-r--r--
1,612
contracts-ensures-early-fn-exit.rs
-
rw-r--r--
405
contracts-ensures-early-fn-exit.unchk_pass.stderr
-
rw-r--r--
368
contracts-ensures-is-not-inherited-when-nesting.rs
-
rw-r--r--
420
contracts-ensures-is-not-inherited-when-nesting.stderr
-
rw-r--r--
448
contracts-requires-is-not-inherited-when-nesting.rs
-
rw-r--r--
421
contracts-requires-is-not-inherited-when-nesting.stderr
-
rw-r--r--
1,668
disallow-contract-annotation-on-non-fn.rs
-
rw-r--r--
1,953
disallow-contract-annotation-on-non-fn.stderr