Disallow type parameters to self. Closes #2422.

msullivan · msullivan · commit 8d7f3bd1ca62 · 2012-05-22T11:52:22.000-07:00
diff --git a/src/rustc/middle/typeck/astconv.rs b/src/rustc/middle/typeck/astconv.rs
@@ -302,6 +302,7 @@ fn ast_ty_to_ty<AC: ast_conv, RS: region_scope copy>(
             // n.b.: resolve guarantees that the self type only appears in an
             // iface, which we rely upon in various places when creating
             // substs
+            check_path_args(tcx, path, NO_TPS | NO_REGIONS);
             ty::mk_self(tcx)
           }
           _ {

Original file line number	Diff line number	Diff line change
`@@ -302,6 +302,7 @@ fn ast_ty_to_ty<AC: ast_conv, RS: region_scope copy>(`
`302`	`302`	`// n.b.: resolve guarantees that the self type only appears in an`
`303`	`303`	`// iface, which we rely upon in various places when creating`
`304`	`304`	`// substs`
	`305`	`+ check_path_args(tcx, path, NO_TPS \| NO_REGIONS);`
`305`	`306`	`ty::mk_self(tcx)`
`306`	`307`	`}`
`307`	`308`	`_ {`