diff --git a/src/expr/eval.rs b/src/expr/eval.rs
index ecb74e76..6a876ac9 100644
--- a/src/expr/eval.rs
+++ b/src/expr/eval.rs
@@ -646,11 +646,6 @@ impl expr::Expr
 				}
 			}
 			
-			&expr::Expr::SoftSlice(_, _, _, _, ref inner) =>
-			{
-				inner.eval_with_ctx(report, ctx, provider)
-			}
-			
 			&expr::Expr::Block(_, ref exprs) =>
 			{
 				let mut result = expr::Value::Void;
diff --git a/src/expr/expression.rs b/src/expr/expression.rs
index cee416f9..10718585 100644
--- a/src/expr/expression.rs
+++ b/src/expr/expression.rs
@@ -10,7 +10,6 @@ pub enum Expr
 	BinaryOp(diagn::Span, diagn::Span, BinaryOp, Box<Expr>, Box<Expr>),
 	TernaryOp(diagn::Span, Box<Expr>, Box<Expr>, Box<Expr>),
 	BitSlice(diagn::Span, diagn::Span, usize, usize, Box<Expr>),
-	SoftSlice(diagn::Span, diagn::Span, usize, usize, Box<Expr>),
 	Block(diagn::Span, Vec<Expr>),
 	Call(diagn::Span, Box<Expr>, Vec<Expr>),
 	Asm(diagn::Span, Vec<syntax::Token>),
@@ -85,7 +84,6 @@ impl Expr
 			&Expr::BinaryOp (span, ..) => span,
 			&Expr::TernaryOp(span, ..) => span,
 			&Expr::BitSlice (span, ..) => span,
-			&Expr::SoftSlice(span, ..) => span,
 			&Expr::Block    (span, ..) => span,
 			&Expr::Call     (span, ..) => span,
 			&Expr::Asm      (span, ..) => span,
diff --git a/src/expr/inspect.rs b/src/expr/inspect.rs
index 1b3c5059..90dcdba0 100644
--- a/src/expr/inspect.rs
+++ b/src/expr/inspect.rs
@@ -94,9 +94,6 @@ impl expr::Expr
 			
 			expr::Expr::BitSlice(_, _, left, right, _) =>
 				Some(left - right),
-
-			expr::Expr::SoftSlice(_, _, left, right, _) =>
-				Some(left - right),
 			
 			expr::Expr::TernaryOp(_, _, ref true_branch, ref false_branch) =>
 			{
@@ -180,9 +177,6 @@ impl expr::Expr
 			
 			expr::Expr::BitSlice(_, _, _, _, ref expr) =>
 				expr.is_value_statically_known(provider),
-
-			expr::Expr::SoftSlice(_, _, _, _, ref expr) =>
-				expr.is_value_statically_known(provider),
 			
 			expr::Expr::TernaryOp(_, ref condition, ref true_branch, ref false_branch) =>
 			{