From a960afa4f92132b85f7005469ae78135ee2a6a34 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Crozet?= <developer@crozet.re>
Date: Tue, 21 Oct 2014 09:47:03 +0200
Subject: [PATCH] Make `AnyVec` inherit from `Basis`.

Every vector must have a basis.
---
 src/traits/structure.rs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/traits/structure.rs b/src/traits/structure.rs
index 6026ef1f..403b2bf2 100644
--- a/src/traits/structure.rs
+++ b/src/traits/structure.rs
@@ -157,7 +157,7 @@ pub trait VecAsPnt<P> {
 
 /// Trait grouping most common operations on vectors.
 pub trait AnyVec<N>: Dim + Sub<Self, Self> + Add<Self, Self> + Neg<Self> + Zero + PartialEq + Mul<N, Self>
-                     + Div<N, Self> + Dot<N> + Axpy<N> {
+                     + Div<N, Self> + Dot<N> + Axpy<N> + Basis {
 }
 
 /// Trait of vector with components implementing the `Float` trait.
@@ -172,9 +172,9 @@ pub trait AnyVecExt<N>: AnyVec<N> + Indexable<uint, N> + Index<uint, N> + IndexM
 
 /// Trait grouping uncommon, low-level and borderline (from the mathematical point of view)
 /// operations on vectors.
-pub trait FloatVecExt<N: Float>: FloatVec<N> + AnyVecExt<N> + Basis { }
+pub trait FloatVecExt<N: Float>: FloatVec<N> + AnyVecExt<N> { }
 
-impl<N, V: Dim + Sub<V, V> + Add<V, V> + Neg<V> + Zero + PartialEq + Mul<N, V> + Div<N, V> + Dot<N> + Axpy<N>>
+impl<N, V: Dim + Sub<V, V> + Add<V, V> + Neg<V> + Zero + PartialEq + Mul<N, V> + Div<N, V> + Dot<N> + Axpy<N> + Basis>
 AnyVec<N> for V { }
 
 impl<N: Float, V: AnyVec<N> + Norm<N>> FloatVec<N> for V { }
@@ -184,7 +184,7 @@ impl<N,
         UniformSphereSample + ScalarAdd<N> + ScalarSub<N> + Bounded>
 AnyVecExt<N> for V { }
 
-impl<N: Float, V: FloatVec<N> + AnyVecExt<N> + Basis> FloatVecExt<N> for V { }
+impl<N: Float, V: FloatVec<N> + AnyVecExt<N>> FloatVecExt<N> for V { }
 
 /*
  * Pnt related traits.