aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/tests
diff options
context:
space:
mode:
Diffstat (limited to 'crates/ra_hir_ty/src/tests')
-rw-r--r--crates/ra_hir_ty/src/tests/method_resolution.rs23
1 files changed, 23 insertions, 0 deletions
diff --git a/crates/ra_hir_ty/src/tests/method_resolution.rs b/crates/ra_hir_ty/src/tests/method_resolution.rs
index 1f767d324..644d59e17 100644
--- a/crates/ra_hir_ty/src/tests/method_resolution.rs
+++ b/crates/ra_hir_ty/src/tests/method_resolution.rs
@@ -1008,6 +1008,29 @@ fn test() { foo.call()<|>; }
1008} 1008}
1009 1009
1010#[test] 1010#[test]
1011fn method_resolution_non_parameter_type() {
1012 let t = type_at(
1013 r#"
1014//- /main.rs
1015mod a {
1016 pub trait Foo {
1017 fn foo(&self);
1018 }
1019}
1020
1021struct Wrapper<T>(T);
1022fn foo<T>(t: Wrapper<T>)
1023where
1024 Wrapper<T>: a::Foo,
1025{
1026 t.foo()<|>;
1027}
1028"#,
1029 );
1030 assert_eq!(t, "{unknown}");
1031}
1032
1033#[test]
1011fn method_resolution_slow() { 1034fn method_resolution_slow() {
1012 // this can get quite slow if we set the solver size limit too high 1035 // this can get quite slow if we set the solver size limit too high
1013 let t = type_at( 1036 let t = type_at(