fix verification on CI

remove `--verify` flag from the binaries: we have tests for this!
This commit is contained in:
Aleksey Kladov 2019-01-27 02:03:52 +03:00
parent e40d8d4032
commit 7177fffd7b
6 changed files with 123 additions and 179 deletions

View file

@ -660,50 +660,6 @@ impl ToOwned for DynTraitType {
impl DynTraitType {}
// ElseBranch
#[derive(Debug, PartialEq, Eq, Hash)]
#[repr(transparent)]
pub struct ElseBranch {
pub(crate) syntax: SyntaxNode,
}
unsafe impl TransparentNewType for ElseBranch {
type Repr = rowan::SyntaxNode<RaTypes>;
}
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum ElseBranchKind<'a> {
Block(&'a Block),
IfExpr(&'a IfExpr),
}
impl AstNode for ElseBranch {
fn cast(syntax: &SyntaxNode) -> Option<&Self> {
match syntax.kind() {
| BLOCK
| IF_EXPR => Some(ElseBranch::from_repr(syntax.into_repr())),
_ => None,
}
}
fn syntax(&self) -> &SyntaxNode { &self.syntax }
}
impl ToOwned for ElseBranch {
type Owned = TreeArc<ElseBranch>;
fn to_owned(&self) -> TreeArc<ElseBranch> { TreeArc::cast(self.syntax.to_owned()) }
}
impl ElseBranch {
pub fn kind(&self) -> ElseBranchKind {
match self.syntax.kind() {
BLOCK => ElseBranchKind::Block(Block::cast(&self.syntax).unwrap()),
IF_EXPR => ElseBranchKind::IfExpr(IfExpr::cast(&self.syntax).unwrap()),
_ => unreachable!(),
}
}
}
impl ElseBranch {}
// EnumDef
#[derive(Debug, PartialEq, Eq, Hash)]
#[repr(transparent)]