2019-10-25 06:16:46 -05:00
|
|
|
//! Generated file, do not edit by hand, see `crate/ra_tools/src/codegen`
|
|
|
|
|
|
|
|
use super::check;
|
|
|
|
|
2019-10-25 15:38:15 -05:00
|
|
|
#[test]
|
|
|
|
fn doctest_add_derive() {
|
|
|
|
check(
|
|
|
|
"add_derive",
|
|
|
|
r#####"
|
|
|
|
struct Point {
|
|
|
|
x: u32,
|
|
|
|
y: u32,<|>
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
r#####"
|
|
|
|
#[derive()]
|
|
|
|
struct Point {
|
|
|
|
x: u32,
|
|
|
|
y: u32,
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn doctest_add_explicit_type() {
|
|
|
|
check(
|
|
|
|
"add_explicit_type",
|
|
|
|
r#####"
|
|
|
|
fn main() {
|
|
|
|
let x<|> = 92;
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
r#####"
|
|
|
|
fn main() {
|
|
|
|
let x: i32 = 92;
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn doctest_add_impl() {
|
|
|
|
check(
|
|
|
|
"add_impl",
|
|
|
|
r#####"
|
|
|
|
struct Ctx<T: Clone> {
|
|
|
|
data: T,<|>
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
r#####"
|
|
|
|
struct Ctx<T: Clone> {
|
|
|
|
data: T,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<T: Clone> Ctx<T> {
|
|
|
|
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn doctest_add_impl_default_members() {
|
|
|
|
check(
|
|
|
|
"add_impl_default_members",
|
|
|
|
r#####"
|
|
|
|
trait T {
|
|
|
|
Type X;
|
|
|
|
fn foo(&self);
|
|
|
|
fn bar(&self) {}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl T for () {
|
|
|
|
Type X = ();
|
|
|
|
fn foo(&self) {}<|>
|
|
|
|
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
r#####"
|
|
|
|
trait T {
|
|
|
|
Type X;
|
|
|
|
fn foo(&self);
|
|
|
|
fn bar(&self) {}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl T for () {
|
|
|
|
Type X = ();
|
|
|
|
fn foo(&self) {}
|
|
|
|
fn bar(&self) {}
|
|
|
|
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn doctest_add_impl_missing_members() {
|
|
|
|
check(
|
|
|
|
"add_impl_missing_members",
|
|
|
|
r#####"
|
|
|
|
trait T {
|
|
|
|
Type X;
|
|
|
|
fn foo(&self);
|
|
|
|
fn bar(&self) {}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl T for () {<|>
|
|
|
|
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
r#####"
|
|
|
|
trait T {
|
|
|
|
Type X;
|
|
|
|
fn foo(&self);
|
|
|
|
fn bar(&self) {}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl T for () {
|
|
|
|
fn foo(&self) { unimplemented!() }
|
|
|
|
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn doctest_apply_demorgan() {
|
|
|
|
check(
|
|
|
|
"apply_demorgan",
|
|
|
|
r#####"
|
|
|
|
fn main() {
|
|
|
|
if x != 4 ||<|> !y {}
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
r#####"
|
|
|
|
fn main() {
|
|
|
|
if !(x == 4 && y) {}
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
2019-10-26 09:37:04 -05:00
|
|
|
#[test]
|
|
|
|
fn doctest_change_visibility() {
|
|
|
|
check(
|
|
|
|
"change_visibility",
|
|
|
|
r#####"
|
2019-10-26 13:17:39 -05:00
|
|
|
<|>fn frobnicate() {}
|
2019-10-26 09:37:04 -05:00
|
|
|
"#####,
|
|
|
|
r#####"
|
|
|
|
pub(crate) fn frobnicate() {}
|
|
|
|
"#####,
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
2019-10-25 06:16:46 -05:00
|
|
|
#[test]
|
|
|
|
fn doctest_convert_to_guarded_return() {
|
|
|
|
check(
|
|
|
|
"convert_to_guarded_return",
|
|
|
|
r#####"
|
|
|
|
fn main() {
|
|
|
|
<|>if cond {
|
|
|
|
foo();
|
|
|
|
bar();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
r#####"
|
|
|
|
fn main() {
|
|
|
|
if !cond {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
foo();
|
|
|
|
bar();
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
)
|
|
|
|
}
|
2019-10-26 09:37:04 -05:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn doctest_fill_match_arms() {
|
|
|
|
check(
|
|
|
|
"fill_match_arms",
|
|
|
|
r#####"
|
|
|
|
enum Action { Move { distance: u32 }, Stop }
|
|
|
|
|
|
|
|
fn handle(action: Action) {
|
|
|
|
match action {
|
|
|
|
<|>
|
|
|
|
}
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
r#####"
|
|
|
|
enum Action { Move { distance: u32 }, Stop }
|
|
|
|
|
|
|
|
fn handle(action: Action) {
|
|
|
|
match action {
|
2019-10-26 10:03:55 -05:00
|
|
|
Action::Move { distance } => (),
|
2019-10-26 09:37:04 -05:00
|
|
|
Action::Stop => (),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
)
|
|
|
|
}
|
2019-10-26 11:08:13 -05:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn doctest_flip_binexpr() {
|
|
|
|
check(
|
|
|
|
"flip_binexpr",
|
|
|
|
r#####"
|
|
|
|
fn main() {
|
|
|
|
let _ = 90 +<|> 2;
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
r#####"
|
|
|
|
fn main() {
|
|
|
|
let _ = 2 + 90;
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn doctest_flip_comma() {
|
|
|
|
check(
|
|
|
|
"flip_comma",
|
|
|
|
r#####"
|
|
|
|
fn main() {
|
|
|
|
((1, 2),<|> (3, 4));
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
r#####"
|
|
|
|
fn main() {
|
|
|
|
((3, 4), (1, 2));
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn doctest_inline_local_variable() {
|
|
|
|
check(
|
|
|
|
"inline_local_variable",
|
|
|
|
r#####"
|
|
|
|
fn main() {
|
|
|
|
let x<|> = 1 + 2;
|
|
|
|
x * 4;
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
r#####"
|
|
|
|
fn main() {
|
|
|
|
(1 + 2) * 4;
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
)
|
|
|
|
}
|
2019-10-26 11:58:18 -05:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn doctest_introduce_variable() {
|
|
|
|
check(
|
|
|
|
"introduce_variable",
|
|
|
|
r#####"
|
|
|
|
fn main() {
|
|
|
|
<|>(1 + 2)<|> * 4;
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
r#####"
|
|
|
|
fn main() {
|
|
|
|
let var_name = (1 + 2);
|
|
|
|
var_name * 4;
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
)
|
|
|
|
}
|
2019-10-27 03:26:46 -05:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn doctest_merge_match_arms() {
|
|
|
|
check(
|
|
|
|
"merge_match_arms",
|
|
|
|
r#####"
|
|
|
|
enum Action { Move { distance: u32 }, Stop }
|
|
|
|
|
|
|
|
fn handle(action: Action) {
|
|
|
|
match action {
|
|
|
|
<|>Action::Move(..) => foo(),
|
|
|
|
Action::Stop => foo(),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
r#####"
|
|
|
|
enum Action { Move { distance: u32 }, Stop }
|
|
|
|
|
|
|
|
fn handle(action: Action) {
|
|
|
|
match action {
|
|
|
|
Action::Move(..) | Action::Stop => foo(),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn doctest_move_arm_cond_to_match_guard() {
|
|
|
|
check(
|
|
|
|
"move_arm_cond_to_match_guard",
|
|
|
|
r#####"
|
|
|
|
enum Action { Move { distance: u32 }, Stop }
|
|
|
|
|
|
|
|
fn handle(action: Action) {
|
|
|
|
match action {
|
|
|
|
Action::Move { distance } => <|>if distance > 10 { foo() },
|
|
|
|
_ => (),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
r#####"
|
|
|
|
enum Action { Move { distance: u32 }, Stop }
|
|
|
|
|
|
|
|
fn handle(action: Action) {
|
|
|
|
match action {
|
|
|
|
Action::Move { distance } if distance > 10 => foo(),
|
|
|
|
_ => (),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn doctest_move_bounds_to_where_clause() {
|
|
|
|
check(
|
|
|
|
"move_bounds_to_where_clause",
|
|
|
|
r#####"
|
|
|
|
fn apply<T, U, <|>F: FnOnce(T) -> U>(f: F, x: T) -> U {
|
|
|
|
f(x)
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
r#####"
|
|
|
|
fn apply<T, U, F>(f: F, x: T) -> U where F: FnOnce(T) -> U {
|
|
|
|
f(x)
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn doctest_move_guard_to_arm_body() {
|
|
|
|
check(
|
|
|
|
"move_guard_to_arm_body",
|
|
|
|
r#####"
|
|
|
|
enum Action { Move { distance: u32 }, Stop }
|
|
|
|
|
|
|
|
fn handle(action: Action) {
|
|
|
|
match action {
|
|
|
|
Action::Move { distance } <|>if distance > 10 => foo(),
|
|
|
|
_ => (),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
r#####"
|
|
|
|
enum Action { Move { distance: u32 }, Stop }
|
|
|
|
|
|
|
|
fn handle(action: Action) {
|
|
|
|
match action {
|
|
|
|
Action::Move { distance } => if distance > 10 { foo() },
|
|
|
|
_ => (),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
"#####,
|
|
|
|
)
|
|
|
|
}
|